Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.

Xiao Han Tao Tang Jidong Lv Haifeng Wang

Published in: RSSRail (2016)

Keyphrases

model checking
control system
temporal logic
formal verification
finite state
temporal properties
bounded model checking
reachability analysis
real time
concurrent systems
automated verification
formal methods
verification method
symbolic model checking
abstract interpretation
partial order reduction