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