Local Model Checking for Real-Time Systems (Extended Abstract)
No abstract available.
Related papers
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- SIGNAL as a Model for Real-Time and Hybrid Systems ESOP 1992
- Model Checking of Real-Time Reachability Properties Using Abstractions TACAS 1998
- An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) CAV 1994
- Global Guidance for Local Generalization in Model Checking CAV 2020
- Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems CAV 1998
- Time for Statistical Model Checking of Real-Time Systems CAV 2011