A Toolset for Modelling and Verification of GALS Systems
Abstract elided by the publisher.
Related papers
- 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
- XMC: A Logic-Programming-Based Verification Toolset CAV 2000
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs CAV 2009
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability TACAS 2019
- The Refinement Calculus of Reactive Systems Toolset TACAS 2018
- 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