µCRL: A Toolset for Analysing Algebraic Specifications
No abstract available.
Related papers
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability TACAS 2019
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007
- XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems CAV 1996
- 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
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic TACAS 1997