📦 mcrl2

B

• besinfo(1)display basic information about a BES✨
• bespp(1)pretty print a BES✨
• bessolve(1)solve a BES✨

D

• diagraphica(1)interactive visual analysis of an LTS✨

L

• lps2lts(1)generates an LTS from an LPS✨
• lps2pbes(1)generate a PBES from an LPS and a state formula✨
• lpsactionrename(1)rename actions of an LPS✨
• lpsbinary(1)replace finite sort variables by vectors of boolean variables in an LPS✨
• lpsbisim2pbes(1)computes a bisimulation relation between two LPSs✨
• lpsconfcheck(1)mark confluent tau-summands of an LPS✨
• lpsconstelm(1)removes constant parameters from an LPS✨
• lpsfununfold(1)Unfolds process parameters of type function sort, fset, set, fbag and bag with a finite domain✨
• 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✨
• lpsreach(1)Applies a symbolic reachability algorithm to an LPS✨
• lpsrewr(1)rewrite data expressions in an LPS✨
• lpssim(1)Command-line simulation of an LPS✨
• lpsstategraph(1)reduces 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✨
• ltspbisim(1)convert and optionally minimise an LTS✨
• ltspcompare(1)compare two LTSs✨
• ltsview(1)3D interactive visualization of a labelled transition system✨

M

• mcrl2-gui(1)graphical front-end for mCRL2 tools✨
• mcrl22lps(1)translate an mCRL2 specification to an LPS✨
• mcrl2i(1)Interpreter for the mCRL2 data language✨
• mcrl2ide(1)A graphical IDE for creating, analyzing, visualizing and verifying mCRL2 specifications.✨
• mcrl2xi(1)graphical mCRL2 data specification editor✨

P

• 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✨
• pbesinst(1)compute a BES out of 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✨
• pbessolve(1)Generate a BES from a PBES and solve it.✨
• pbessolvesymbolic(1)Solves a PBES using symbolic data structures✨
• pbesstategraph(1)reduces a PBES✨

T

• tracepp(1)convert and pretty print traces✨
• txt2bes(1)parse a textual description of a BES✨
• txt2lps(1)translates an mCRL2 specification of a linear process into an LPS✨
• txt2pbes(1)parse a textual description of a PBES✨