Cited in
(16)- Coarse abstractions make Zeno behaviours difficult to detect
- A survey of timed automata for the development of real-time systems
- Coarse abstractions make Zeno behaviours difficult to detect
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Kronos
- Rabbit
- POEM
- DREAM Tool
- McAiT
- LinAIG
- CoVer
- Tempo
- CMC
- Synthia
- The Power of Proofs: New Algorithms for Timed Automata Model Checking
- A menagerie of timed automata
This page was built for software: REDLIB
