On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.

Johan Bengtsson Wang Yi

Published in: ICFEM (2003)

Keyphrases

reachability analysis
timed automata
model checking
theorem prover
markov decision processes
temporal logic
first order logic
power consumption
constraint programming
incremental algorithms
term rewriting
constraint satisfaction
high speed
real time systems
theorem proving