A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.

Lasse Jacobsen Morten Jacobsen Mikael H. Møller Jirí Srba

Published in: EPEW (2010)

Keyphrases

model checking
transition systems
temporal logic
timed automata
concurrent systems
finite state
partial order reduction
model checker
formal specification
formal verification
verification method
epistemic logic
practical reasoning
reactive systems
petri net