Computer Programs For Dynamic Systems Checks