基于梯形逻辑的联锁系统形式化验证方法

基于梯形逻辑的联锁系统形式化验证方法

于丽贞徐中伟陈祖希张舒青

Formal verification of railway interlocking system based on ladder logic

YU Lizhen XU Zhongwei CHEN Zuxi ZHANG Shuqin

计算机应用 . 2013, (12): 3419 -3422 .