Submit Software
  1. Home
  2. Linux
  3. Other
  4. Extended NuSMV

Extended NuSMV 1.1

License: Free ‎File size: N/A
‎Users Rating: 2.5/5 - ‎8 ‎votes
Download

An extend version of NuSMV, which supports symbolic model checking of ETL and APSL

VERSION HISTORY

  • Version enusmv%201.1 posted on 2009-03-04
    Several fixes and updates
  • Version enusmv 1.1 posted on 2009-03-04

Program Details

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.