check_trans - Checks the transition relation for totality.


check_trans [-h] [-m | -o output-file]

Checks if the transition relation is total. If the transition relation is not total then a potential deadlock state is shown out.

Command options:

-m
Pipes the output generated by the command to the program specified by the PAGER shell variable if defined, else through the UNIX "more" command.
-o output-file
Writes the output generated by the command to the file output-file.
The reachable states are computed before in order to guarantee that deadlock states are actually reachable.
Last updated on 990908 16h51