XMC: A Logic-Programming-Based Verification Toolset
Abstract elided by the publisher.
Related papers
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic TACAS 1997
- The Real-Time Graphical Interval Logic Toolset CAV 1996
- A Graphical Interval Logic Toolset for Verifying Concurrent Systems CAV 1993
- 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
- A Toolset for Modelling and Verification of GALS Systems CAV 2004
- Automated Parameterized Verification of a Railway Protection System with Dafny CAV 2025
- A Toolset for Message Sequence Charts CAV 1998