![](/statics/img/blank.png)
Extended NuSMV 1.1
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/enusmv/files/enusmv/enusmv%201.1/enusmv_1.1.tar.bz2/download
关于 Extended NuSMV
NuSMV 的扩展版本,支持 ETL 和 APSL 的符号模型检查
相关软件
-
Voice Widget 免费
只需单击一下即可启动录音机、Youtube、电视或收音机、资源管理器或搜索。2个美丽的小部件链接您的手机录音机,Youtube,电视或收音机,探险家或搜索。设计风格就像 HTC 感。支持我们购买完整的版本,其中包含4个新的美丽的小部件。指示:1. 请转到您的主屏幕2. 在空白空间上按住手指,你会看到"添加到主屏幕"对话框3. 选择"小工具";4. 请从小部件列表中选择"无语音""加入 Facebook 群
-
ZIPCodeWorld Store Locator .NET Component 免费试用
ZIPCodeWorld 商店定位器 .NET 是所有 .NET 开发人员的存储定位器控件。您自己的美国或加拿大商店定位器服务可以在几分钟内启动并运行。ZIPCodeWorld 商店定位器 .NET 为多个项目提供拖放ASP.NET控件。该控件允许您的客户通过邮政编码查找离他们最近的经销商、商店或位置。结果显示每个位置与客户的距离,甚至地图。特征* 安全管理员控制面板* 按半径和记录限制结果* 显示一般商店的详细信息和自定义字
-
Mobile Data On/Off Toggle 免费
移动数据开/关切换移动数据开/关切换切换器移动数据开/关切换切换器移动数据开/关切换器非常简单的移动数据控制软件!支持 SD 卡安装(安卓 2.2 Froyo)APK 大小 = 9KB(非常小!)移动数据打开至关闭。移动数据关闭到 ON.http://www.neko.ne.jp/=自由翼/机器人/版权(c)2011免费 WING,Y.Sakamoto
-
OCF Resource Agent for SAP 免费
提供 OCF(开放群集框架)兼容的资源代理,以在 Linux 高可用性群集(如 Linux-HA 项目)中运行 SAP 软件。
-
Wintermute Engine DevKit 免费
Wintermute 引擎开发工具包是一组用于创建和运行图形点和点击冒险游戏的工具,包括传统的 2D 游戏和现代 2.5D 游戏(2D 背景上的 3D 字符)。
-
Aginity Netezza Workbench 免费
Aginity 是 Netezza 解决方案提供商的合作伙伴。工作台诞生于我们对特定工具的支持,以支持我们在 Netezza 设备上开发大型系统的广泛经验。Workbench 提供其他类似产品中独一无二的功能,包括:• 单击一键访问分发信息,包括无人认领、已删除的记录,图形显示可轻松可视化每个节点存在的问题位置。• 回收功能,使开发人员能够真正恢复被删除的记录占用的服务器空间,并释放存储空间供其他使用。• 其他 DDL 使开发人员能够查看和更改表
-
xUnit - Unit Testing Framework 免费
xUnit 是一个 XP 样式单元测试框架。xUnit 使用前端之间的协议来显示测试结果和链接到应用程序的测试驱动程序 - 删除应用程序和图形之间的链接时间依赖关系,格式化库。
-
perf2rrd 免费
perf2rrd 是一个用 Java (tm) 编写的程序,它捕获 Nagios (R) 监控系统的性能数据输出,并存储在 RRDtool 的循环数据库文件中。
-
MisterHouse: Home Automation with Perl 免费
先生豪斯是一个 Windows/Unix 家庭自动化程序写在 Perl。它可以响应语音命令、Web 浏览器、时间、串行端口和 X10 数据、外部文件等,并且可以通过文本到语音引擎进行发言。
-
IFM - Interface Management System 免费
IFM(以前为 wxIFM)是一个接口管理库,旨在向应用程序添加可停靠窗口,为您的界面提供当今经验丰富的计算机用户所需的可自定义性。