mcrl22lps(1) on Linux
The text bb5a4fadc191, as Debian 6.0 (Squeeze) shipped it.
translate an mCRL2 specification to an LPS
Flags it lists
-
--binary -
--check-only -
--cluster -
--debug -
--delta -
--help -
--lin-method -
--mcrl2-gui -
--newstate -
--no-alpha -
--no-cluster -
--no-deltaelm -
--no-globvars -
--no-rewrite -
--no-sumelm -
--quiet -
--rewriter -
--statenames -
--verbose -
--version -
-D -
-a -
-b -
-c -
-d -
-e -
-f -
-g -
-h -
-l -
-m -
-n -
-o -
-q -
-r -
-v -
-w -
-z