Verification for Timed Automata extended with Discrete Data Structure.
Karin QuaasPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- timed automata
- model checking
- data structure
- temporal logic
- formal verification
- reachability analysis
- verification method
- asynchronous circuits
- theorem prover
- efficient data structures
- machine learning
- discrete version
- data types
- neural network
- discrete geometry
- space efficient
- real time systems
- theorem proving
- quadtree
- objective function
- artificial intelligence
- discrete space
- inference rules
- r tree
- index structure
- real time
- linked list