Ta上传的资源 (0)

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