Presburger liveness verification of discrete timed automata.
Zhe DangPierluigi San PietroRichard A. KemmererPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- timed automata
- model checking
- temporal logic
- reachability analysis
- formal verification
- verification method
- formal methods
- theorem prover
- discrete geometry
- artificial intelligence
- concurrent systems
- dynamic programming
- first order logic
- reinforcement learning
- theorem proving
- finite number
- asynchronous circuits
- discrete version
- functional verification
- continuous domains
- real time systems
- formal analysis
- embedded systems
- distributed systems
- evolutionary algorithm
- relational databases
- computer vision