Data-Structures for the Verification of Timed Automata.
Eugene AsarinMarius BozgaAlain KerbratOded MalerAmir PnueliAnne RassePublished in: HART (1997)
Keyphrases
- timed automata
- model checking
- data structure
- reachability analysis
- temporal logic
- verification method
- formal verification
- formal methods
- concurrent systems
- data types
- efficient data structures
- theorem prover
- suffix tree
- asynchronous circuits
- real time systems
- data structures and algorithms
- database
- pattern matching
- kd trees
- data sets