Properties of Discrete Timed Automata via Bounded Model Checking.

Bozena Wozna Andrzej Zbrzezny

Published in: FORMATS (2003)

Keyphrases

model checking
timed automata
bounded model checking
formal verification
temporal logic
reachability analysis
machine learning
planning problems
domain specific
orders of magnitude
theorem proving
finite state
linear temporal logic