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