The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
No abstract available.
Related papers
- A Toolset for Modelling and Verification of GALS Systems CAV 2004
- Correct Probabilistic Model Checking with Floating-Point Arithmetic TACAS 2022
- Optimistic Value Iteration CAV 2020
- XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems CAV 1996
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007
- XMC: A Logic-Programming-Based Verification Toolset CAV 2000
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications CAV 1992
- Integrated Environment for Diagnosing Verification Errors TACAS 2016