The Real-Time Graphical Interval Logic Toolset
No abstract available.
Related papers
- 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
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic TACAS 1997
- XMC: A Logic-Programming-Based Verification Toolset CAV 2000
- The Continuous Tensor Abstraction: Where Indices Are Real OOPSLA 2025
- Automatic Testing of Real-Time Graphics Systems TACAS 2013
- Analytic Constraint Solving and Interval Arithmetic POPL 2000