Timed Automata.

Published in: Arch. Formal Proofs (2016)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
temporal logic
real time systems
artificial intelligence
low cost
natural language