Extended NuSMV 1.1
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/enusmv/files/enusmv/enusmv%201.1/enusmv_1.1.tar.bz2/download
ABOUT Extended NuSMV
An extend version of NuSMV, which supports symbolic model checking of ETL and APSL
Related Programs
-
Voice Widget Free
Start Voice Recorder, Youtube, TV or Radio, Explorer or Search with one click.2 beautiful widgets to link your phone voice recorder, Youtube, TV or radio, explorer or search. The design style is like the HTC Sense.
-
ZIPCodeWorld Store Locator .NET Component Free Trial
ZIPCodeWorld Store Locator .NET is a store locator control for all .NET developers. Your own United States or Canada store locator service can be up and running within minutes. ZIPCodeWorld Store Locator .NET provides a drag-
-
Mobile Data On/Off Toggle Free
Mobile Data On/Off ToggleMobile Data On/Off Toggle switcherMobile Data On/Off Toggle switcherMobile Data OnOff Toggle switch.- This software necessity Enable "Mobile data" in System settings .Very Simple Mobile Dat
-
OCF Resource Agent for SAP Free
Provides OCF (Open Cluster Framework) compliant resource agents, to run SAP software in a Linux high availability cluster (like the Linux-HA project).
-
Wintermute Engine DevKit Free
Wintermute Engine Development Kit is a set of tools for creating and running graphical point&click adventure games, both traditional 2D ones and modern 2.5D games (3D characters on 2D backgrounds).
-
Aginity Netezza Workbench Free
Aginity is a Netezza Solution Provider partner. The Workbench was born out of our need for specific tools to support our extensive experience developing large systems on the Netezza appliance. Workbench offers features unique
-
xUnit - Unit Testing Framework Free
xUnit is a XP style unit testing framework. xUnit uses a protocol between a front-end to display test results and a test driver linked into applications - removing the link time dependencies between the application and the gr
-
perf2rrd Free
perf2rrd is a program written in Java (tm) which captures performance data output by the Nagios (R) monitoring system and stores it in round robin database files as implememented by RRDtool.
-
MisterHouse: Home Automation with Perl Free
MisterHouse is a Windows/Unix home automation program written in Perl. It can respond to voice commands, web browsers, time of day, serial port and X10 data, external files, etc and can speak via Text to Speech engines.
-
IFM - Interface Management System Free
IFM (formerly wxIFM) is an Interface Management library designed to add dockable windows to your applications giving your interface the customizability demanded by todays experienced computer users.