CONTROL(1) | Local Manual | CONTROL(1) |
control | [option ...] [scm-file] |
The model contains the description of a system of communicating machines along with, optionally, the specification of a set of bad configurations. See scm(5) for a description of the scm input language.
At each step of the simulation, control displays the transitions that may be taken and asks the user to choose one. If the number provided by the user is not a possible transitions, the simulation ends. If the similation is automatic (see the options), it ends after a given number of execution steps.
78
otherwise.max_int
is used by default.
See the AUTHORS file in the source distribution for the full list of contributors.
Web site: http://altarica.labri.fr/forge/projects/mcscm/wiki
These rules guarantee that the reachability analyses performed by control are “correct”.
September 13, 2011 | Linux 3.2.0-3-amd64 |