A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.

Published in: FORMATS (2009)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
website
response time
query translation
data sets
information systems
statistical machine translation