基于模型检验的计算机联锁软件验证方法

摘要：计算机连锁软件是一种有效的验证计算机连锁软件能否满足某些安全属性的形式验证。本文介绍了一种基于模型检验的方法，对联锁系统模型和安全属性模型的建立方法进行讨论，并结合具体的站场实例，对信号开放功能进行了模型描述和验证，结果表明，该方法在计算机连锁系统中的应用是可行的。

• 作者: 张梦云
• 出处: 《工程管理前沿》 2020年30期
• 关键词: 计算机联锁 形式化验证 模型检验
• 分类: [天文地球][工程地质学]