NuSMV的使用

qq69696698 2010-05-16 10:22:45
高手来帮帮忙，谢谢~！
我不知道如何使用NuSMV来对C程序的源代码进行检测，请问如何才能完成相应操作？
...全文
731 6 打赏 收藏 转发到动态 举报
AI 作业
写回复
用AI写文章
6 条回复
切换为时间正序
请发表友善的回复…
发表回复
燃烧的蔬菜 2013-01-27
  • 打赏
  • 举报
 回复
有人在用NUSMV吗？可以加我，QQ号是997948259
qq69696698 2012-02-24
  • 打赏
  • 举报
 回复
很久以前的事了，我也忘了，不好意思。
maoshuangshuang 2012-02-24
  • 打赏
  • 举报
 回复
楼主会了吗？求指教，老师教了一遍，忘掉了
雨中花hi 2011-03-14
  • 打赏
  • 举报
 回复
在nusmv中输入 ：read_model -i smv文件的路径 （回车）
然后 go（回车）
然后再 check_ctlspec （回车）
steptodream 2010-05-16
  • 打赏
  • 举报
 回复
[Quote=引用 1 楼 qihuanfengyun 的回复:]

哎，没见过 NuSMV ...
[/Quote]
同没见过
qihuanfengyun 2010-05-16
  • 打赏
  • 举报
 回复
哎，没见过 NuSMV ...
NuSMV 2.2 Tutorial
In this tutorial we give a short introduction to the usage of the main functionalities of NUSMV. In Chapter 2 [Examples], page 3 we describe the input language of NUSMV by presenting some examples of NUSMV models. Chapter 3 [Simulation], page 8 shows how the user can get familiar with the behavior of a NUSMV model by exploring its possible executions. Chapter 4 [CTL Model Checking], page 13 and Chapter 5 [LTL Model Checking], page 17 give an overview of BDD-based model checking, while Chapter 6 [Bounded Model Checking], page 20 presents SAT-based model checking in NUSMV.
NuSMV模型检测器
NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。希望对大家有所帮助。
NuSMV2.6符号模型检查器的技术资料与用户手册-综合文档
NuSMV2.6符号模型检查器的技术资料与用户手册
elevator NuSMV 建模 模型检测 电梯
资源：一份源代码，一份英文报告。英文报告包括了模拟运行结果（20步随机），还有CTL以及CTL验证结果，最后一些简单说明。
nusmv（WIN）
nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。
Linux/Unix社区

23,216

社区成员

74,539

社区内容

发帖
与我相关
我的任务
社区描述
Linux/Unix社区 应用程序开发区
社区管理员
  • 应用程序开发区社区
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章