An Overview of the mCRL2 Toolset and Its Recent Advances
No abstract available.
Related papers
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability TACAS 2019
- Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4 TACAS 2025
- A Toolset for Message Sequence Charts CAV 1998
- The Refinement Calculus of Reactive Systems Toolset TACAS 2018
- An Easily Extensible Toolset for Tabular Mathematical Expressions TACAS 1999
- The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification TACAS 2014
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic TACAS 1997