• 大小: 4KB
    文件类型: .smv
    金币: 1
    下载: 0 次
    发布日期: 2021-06-01
  • 语言: 其他
  • 标签:

资源简介

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

资源截图

代码片段和文件信息

评论

共有 条评论

相关资源