Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic.

Haibin Zhang Zhenhua Duan Bohu Huang Xiaobing Wang Long Zhang

Published in: TASE (2010)

Keyphrases

computation tree logic
hybrid systems
model checking
timed automata
discrete event
temporal logic
finite state machines

black box
bounded model checking
dynamic systems
epistemic logic
formal specification
temporal properties
formal verification

artificial intelligence
model checker
computational intelligence
petri net
formal methods
symbolic model checking
transition systems

concurrent systems
modal logic
reactive systems
planning domains
linear temporal logic
alternating time temporal logic