Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time
No abstract available.
Related papers
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks CAV 2001
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Extending nuXmv with Timed Transition Systems and Timed Temporal Properties CAV 2019
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation CAV 2023
- Temporal Proof Methodologies for Real-time Systems POPL 1991
- A Model Parametric Real-Time Logic TOPLAS 1992
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016