Time-Darts: A Data Structure for Verification of Closed Timed Automata
Kenneth Yrke JørgensenKim G. LarsenJirí SrbaPublished in: SSV (2012)
Keyphrases
- timed automata
- model checking
- data structure
- temporal logic
- reachability analysis
- formal verification
- verification method
- efficient data structures
- space efficient
- queueing networks
- suffix tree
- asynchronous circuits
- quadtree
- theorem proving
- theorem prover
- formal methods
- data types
- first order logic
- multidimensional data
- real time systems
- r tree
- dependency graph
- tree structure
- index structure
- low cost