Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>mCRL2New to Visual Studio Code? Get it now.
mCRL2

mCRL2

Wesley Baartman

|
519 installs
| (0) | Free
Language support for mCRL2. Provides syntax highlighting and run options similar to offical mCRL2 IDE.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Visual Studio Code Extension for mCRL2

Extension to allow working with mCRL2 in Visual Studio Code.

Features

  • Syntax highlighting for .mcrl2 and .mcf files.
  • Run options
    • Parse code
    • Show LTS Graph
    • Simulate LTS Graph
    • Verify mu-calculus properties.

Links

Download
Source Code/Git
Bug Reports/Feature Requests

Usage

First, install the extension into your VS Code instance and make sure it's enabled.
Make sure the /bin/ folder of your mCRL2 installation is either available from your PATH or configured in the extension settings.
Open the directory that contains your .mcrl2 files and optionally your properties (in subdirectories).
Use any of the provided run-options at the top right of the editor window, or alternatively, use the keybindings described below.

Keybindings

F4: Parses the specification.
F5: Shows the LTS Graph.
F6: Simulates the LTS.
F7: Verifies all found properties.

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft