A Graphical Interval Logic Toolset for Verifying Concurrent Systems
Abstract elided by the publisher.
Related papers
- The Real-Time Graphical Interval Logic Toolset CAV 1996
- XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems CAV 1996
- A Complete Program Logic for Compositional Linearizability ECOOP 2026
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability TACAS 2019
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic TACAS 1997
- XMC: A Logic-Programming-Based Verification Toolset CAV 2000
- Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System CAV 1996
- Temporal Verification of Carrier-Sense Local Area Network Protocols POPL 1984