mCRL2 user manual

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.

Contents

Manuals

• Introduction to mCRL2
  • Philosophy
  • History
  • Toolset overview
• Build instructions
  • Prerequisites
  • Configuration
  • Compilation
  • Installation
  • Testing
  • Packaging
• mCRL2 language reference
  • mCRL2 specification
  • Linear Process Specifications
  • Labelled Transition Systems
  • µ-Calculus
  • Boolean Equation Systems
  • Parameterised Boolean Equation Systems
  • File formats
• mCRL2 tutorial
  • A Vending Machine
  • Water cans
  • Towers of Hanoi
  • The Rope Bridge
  • A Telephone Book
  • Gossips
  • Using mcrl2-gui
  • References
• Tool documentation
  • List of tools

Background

• Basic modelling with mCRL2
• A dash of infinity
• Compositionality
• Labelled transition systems
• Publications