Bounded Model Checking of Hybrid Automata Pushdown System.

Yu Zhang Yunwei Dong Fei Xie

Published in: QSIC (2014)

Keyphrases

bounded model checking
hybrid automata
model checking
finite state automata
finite state machines
temporal logic
formal verification
formal specification
linear temporal logic
finite state
transition systems
epistemic logic
concurrent systems
planning domains
reactive systems