Bounded Model Checking of an MITL Fragment for Timed Automata.

Roland Kindermann Tommi A. Junttila Ilkka Niemelä

Published in: ACSD (2013)

Keyphrases

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