Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.

Gerd Behrmann Patricia Bouyer Kim Guldstrand Larsen Radek Pelánek

Published in: TACAS (2004)

Keyphrases

lower and upper bounds
timed automata
model checking
lower bound
upper bound
reachability analysis
theorem prover
upper and lower bounds
high level
theorem proving
lagrangian relaxation
first order logic
real time systems
valid inequalities
real time
temporal logic
inference rules
itemsets
special case