Man Pages in
mcrl2
Carta.tech
Packages
mcrl2
44
Section 1:
Executable programs or shell commands
besinfo.1
Display basic information about a bes
bespp.1
Pretty print a bes
diagraphica.1
Interactive visual analysis of an lts
lps2lts.1
Generate an lts from an lps
lps2pbes.1
Generate a pbes from an lps and a state formula
lps2torx.1
Provide torx explorer interface to an lps
lpsactionrename.1
Rename actions of an lps
lpsbinary.1
Replace finite sort variables by vectors of boolean variables in an lps
lpsconfcheck.1
Mark confluent tau-summands of an lps
lpsconstelm.1
Removes constant parameters from an lps
lpsinfo.1
Display basic information about an lps
lpsinvelm.1
Check invariants and use these to simplify or eliminate summands of an lps
lpsparelm.1
Remove unused parameters from an lps
lpsparunfold.1
Unfolds process parameter of an lps
lpspp.1
Pretty print an lps
lpsrewr.1
Rewrite data expressions in an lps
lpssim.1
Command-line simulation of an lps
lpssumelm.1
Remove superfluous summations from an lps
lpssuminst.1
Instantiate summation variables of an lps
lpsuntime.1
Remove time from an lps
lpsxsim.1
Graphical simulation of an lps
lts2lps.1
Translates an lts into an lps
lts2pbes.1
Translates an lts into an pbes
ltscompare.1
Compare two ltss
ltsconvert.1
Convert and optionally minimise an lts
ltsgraph.1
Visualise an lts as a graph and manipulate its layout in 2d and 3d
ltsinfo.1
Display basic information about an lts
ltsview.1
3d interactive visualization of a labelled transition system
mcrl2-gui.1
Graphical front-end for mcrl2 tools
mcrl22lps.1
Translate an mcrl2 specification to an lps
mcrl2compilerewriter.1
Compile a rewriter for an mcrl2 tool
mcrl2i.1
Interpreter for the mcrl2 data language
mcrl2xi.1
Graphical mcrl2 data specification editor
pbes2bes.1
Generate a bes from a pbes.
pbes2bool.1
Generate a bes from a pbes and solve it.
pbesconstelm.1
Remove constant parameters from a pbes
pbesinfo.1
Display basic information about a pbes
pbesparelm.1
Remove unused parameters from a pbes
pbespgsolve.1
Solve a (p)bes or parity game using a parity game solver
pbespp.1
Pretty print a pbes
pbesrewr.1
Rewrite and simplify a pbes
tracepp.1
Convert and pretty print traces
txt2lps.1
Translates an mcrl2 specification of a linear process into an lps
txt2pbes.1
Parse a textual description of a pbes