Formal Verification and Simulation: Co-verification for Subway Control Systems.

Huixing Fang Jian Guo Huibiao Zhu Jianqi Shi

Published in: TASE (2012)

Keyphrases

formal verification
model checking
model checker
control system
automated verification
bounded model checking
symbolic model checking
temporal logic
functional verification
simulation model
real time
knowledge base
formal specification
simulation environment