NuSMV的电梯程序

用于符号模型检测,可实现多种断言语言描述的系统规范的验证,很好的软件属性形式化验证工具。

新符号模型检测工具，对SMV重构的一个模型检测工具，支持计算树逻辑CTL和线性时序逻辑LTL描述的所有规范，整合了以SAT为基础的有界模型检测技术。

五层电梯原程序，变频器运行的电梯，多年没见故障

本程序运用VC++编写的电梯模拟的例子，采用多线程，不错的例子，可以学习一下！

完整的六层电梯程序，已经试验过，可用，希望对各位有用，有什么建议，欢迎提出

这是我自己写的一个小程序，里面有两个电梯提供调度，简单地实现了电梯调度的功能，对VC的初学者有一定的帮助!

急停按钮无源蜂鸣器报警模式电梯上下行！！

是一个简单的电梯的实例，但是没有缓存的，希望大家喜欢。

本程序在VC++6.0下模拟电梯运行，程序具有简短，高效的特点。这是本人数据结构实习的代码，希望对大家有用

十部电梯运行的仿真程序，人数是500人，可以执行