elevator NuSMV 建模 模型检测 电梯

资源：一份源代码，一份英文报告。英文报告包括了模拟运行结果（20步随机），还有CTL以及CTL验证结果，最后一些简单说明。

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件       4392  2016-05-25 09:16  elevator.smv

     文件      18058  2016-06-08 20:11  nusmv报告.docx

----------- ---------  ---------- -----  ----

                22450                    2