Timed automata with urgent transitions.

Roberto Barbuti Luca Tesei

Published in: Acta Informatica (2004)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
temporal logic
state transitions
state transition
data structure