Model Checking of Real-Time Reachability Properties Using Abstractions
Abstract elided by the publisher.
Related papers
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Timed Automata Relaxation for Reachability TACAS 2021
- Property Directed Reachability with Extended Resolution CAV 2025
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016
- Verified Certification of Reachability Checking for Timed Automata TACAS 2020
- Verified Model Checking of Timed Automata TACAS 2018
- Property Directed Reachability for Generalized Petri Nets TACAS 2022
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation CAV 2023