Bounded Model Checking of an MITL Fragment for Timed Automata

Roland Kindermann Tommi A. Junttila Ilkka Niemelä

Published in: CoRR (2013)

Keyphrases

timed automata
bounded model checking
model checking
temporal logic
formal verification
reachability analysis
finite state
formal specification
linear temporal logic
concurrent systems
formal methods
epistemic logic
transition systems
theorem proving