关于电梯的简单NuSMV模型

【文件属性】：

文件名称：关于电梯的简单NuSMV模型

文件大小：4KB

文件格式：SMV

更新时间：2021-01-01 08:58:50

电梯，NuSMV

基于NuSMV语言描述三层电梯的行为，并对相关性质进行模型检测。是一个模型检测应用的简单例子。