在windows使用NuSMV

本文介绍了如何在Windows上安装并使用NuSMV。首先从指定地址下载NuSMV的安装包,然后解压并将bin目录添加到系统环境变量Path中。接着,将SMV文件放在用户路径下,通过命令行输入'NuSMV xxx.smv'即可运行,如test.smv文件所示。
摘要由CSDN通过智能技术生成

1.下载地址

http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz

2.解压后把/bin文件路径添加到系统的环境变量Path中

3.将编辑好的smv文件放在用户路径中,运行NuSMV xxx.smv即可。

test.smv文件如下,输出结果见上图。

MODULE main
VAR
   level_a : {empty, ok, full}; -- lower tank
   level_b : {empty, ok, full}; -- upper tank
   pump : {on, off};
ASSIGN
   next(level_a) := case
       level_a = empty : {empty, ok};
       level_a = ok & pump = off : {ok, full};
       level_a = ok & pump = on : {ok, empty, full};
       level_a = full & pump = off : full;
       level_a = full & pump &
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值