Static Guard Analysis in Timed Automata Verification
No abstract available.
Related papers
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015
- TarTar: A Timed Automata Repair Tool CAV 2020
- Parameterized Verification of Disjunctive Timed Networks VMCAI 2024
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- Fast Algorithms for Handling Diagonal Constraints in Timed Automata CAV 2019
- Static contract checking for Haskell POPL 2009
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time POPL 2020
- Lazy Abstractions for Timed Automata CAV 2013