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