Login / Signup
Enhancing the Formal Verification of Train Control Systems based on Decomposition.
Tengfei Li
Junfeng Sun
Xinjun Lv
Xiang Chen
Jing Liu
Haiying Sun
Published in:
COMPSAC (2023)
Keyphrases
</>
formal verification
control system
model checking
bounded model checking
model checker
automated verification
symbolic model checking
program slicing
decomposition method
temporal logic
decomposition algorithm
decomposition methods
real time
expert systems