NuSmv安装与使用
来源:互联网 发布:找工作可靠的软件 编辑:程序博客网 时间:2024/06/06 17:51
来源自我的博客
http://www.yingzinanfei.com/2017/02/01/nusmvanzhuangyushiyong/
- 下载源代码
http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz
最新的2.6.0版本可以自动下载MiniSat和ZChaff
- 安装依赖
sudo yum install gcc flex bison cmake tar gzip libxml2 readline doxygen tex readline-devel
- 构建项目,记nusmv解压后的目录为
<TOPDIR>
- 创建空目录,以生成项目文件
进入子目录# cd NuSMV# pwd<TOPDIR>/NuSMV# mkdir build# cd build# pwd<TOPDIR>/NuSMV/build
- 使用
cmake
来构建项目
# cmake ..[...]-- Build files have been written to: <TOPDIR>/NuSMV/build
- 如果构建项目成功,开始编译NuSMV
# pwd<TOPDIR>/NuSMV/build# makemake成功后可执行文件存放于<TOPDIR>/NuSMV/build/bin
- 将NuSMV依赖的文件
master.nusmvrc
所在目录导入环境变量
# export NUSMV_LIBRARY_PATH=<TOPDIR>/NuSMV/share/nusmv
- 现在可以使用NuSMV来测试安装包里的例子
# pwd<TOPDIR>/NuSMV/build# bin/NuSMV ../examples/smv-dist/counter.smv
- 样例中的smv文件表示的是由系统状态图转换成的SMV模型,其生成语法可参考官方文档
NuSMV语法
http://nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf
NuSMV2.6手册
http://nusmv.fbk.eu/NuSMV/tutorial/v26/tutorial.pdf
0 0
- NuSmv安装与使用
- NuSMV的安装与例子运行
- cygwin环境安装NuSMV
- NuSMV安装及例子运行
- NuSMV安装及例子运行
- NuSMV学习
- NuSMV语法
- NuSMV运行样例解析
- Struts安装与使用
- Struts安装与使用
- opencms 安装与使用
- AWStats安装与使用
- subversion安装与使用
- SkyEye安装与使用
- 安装与使用
- CGAL安装与使用
- maven安装与使用
- CVS安装与使用
- html5编辑器(图片编辑器基于canvas)
- NuSMV运行样例解析
- 如何利用多核CPU来加速你的Linux命令 — awk, sed, bzip2, grep, wc等
- ThinkPHP的钩子实现原理
- 求转置矩阵问题
- NuSmv安装与使用
- 简洁精美源于分析透彻,构思明确、求精,逻辑练达。(9)
- POJ3592 Instantaneous Transference题解
- 选项卡的实现
- 架构及未来-第4章
- PART IV 程序设计层 Chapter 6 问题求解和算法设计
- leetcode 29. Divide Two Integers
- cygwin环境安装NuSMV
- 简洁精美源于分析透彻,构思明确、求精,逻辑练达。(10)