Fully Symbolic Model Checking for Timed Automata
No abstract available.
Related papers
- Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods CAV 2003
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation CAV 2023
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016
- Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking TACAS 2001
- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata TACAS 2014
- Verified Certification of Reachability Checking for Timed Automata TACAS 2020
- Software model checking using languages of nested trees TOPLAS 2011