The Refinement Calculus of Reactive Systems Toolset
No abstract available.
Related papers
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability TACAS 2019
- Local and Compositional Reasoning for Optimized Reactive Systems CAV 2019
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis TACAS 2015
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007
- A Toolset for Modelling and Verification of GALS Systems CAV 2004
- A Graphical Interval Logic Toolset for Verifying Concurrent Systems CAV 1993
- XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems CAV 1996
- Modular Refinement of Hierarchic Reactive Machines POPL 2000