mCRL2 user documentation

Welcome to the mCRL2 user documentation. If you are looking for information on the use of the mCRL2 libraries or for source code documentation, please consult the developers’ documentation.

Manuals Introduction to mCRL2 mCRL2 tutorial	Tools Tool documentation External third party tools
Build instructions Build instructions Prerequisites Configuration Compilation Installation Flags Testing Packaging Contributing	Reference mCRL2 language reference mCRL2 specification Linear Process Specifications Labelled Transition Systems µ-Calculus Boolean Equation Systems Parameterised Boolean Equation Systems File formats
Background Basic modelling with mCRL2 A dash of infinity Compositionality Labelled transition systems	Publications Publications