Verics: A Tool for Verifying Timed Automata and Estelle Specifications
No abstract available.
Related papers
- Verified Model Checking of Timed Automata TACAS 2018
- AutoQ: An Automata-Based Quantum Circuit Verifier CAV 2023
- Verified Certification of Reachability Checking for Timed Automata TACAS 2020
- Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata CAV 2016
- Verifying Timed Behavior Automata with Nonbinary Delay Constraints CAV 1992
- Verifying Timed Behavior Automata with Input/Output Critical Races CAV 1993
- Communicating Timed Automata: The More Synchronous, the More Difficult to Verify CAV 2006
- Timed Automata Relaxation for Reachability TACAS 2021