1
Thank you for your review
Free
http://www.macupdate.com/download/46133/nusmv-for-mac.dmg
Email me when discounted: 
NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, as a testbed for formal verification techniques, and applied to other research areas.

This release was packaged using MacPorts and contains an easy to use installer.

What's New

Version 2.5.4: Release notes were unavailable when this listing was updated.

Requirements

  • OS X 10.6 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Leave a Review

NuSMV User Discussion

To leave a comment, you need to be logged in.
Sort by: Time | Smiles
There are no Ratings for this App yet.
1 1

Ratings

Overall
(1)
Current Version (2.x)
(1)

Details

Downloads 654
Version Downloads 654
License Free
Date 23 Nov 2012
Platform Intel 64 / OS X
Price Free
Learn how MacUpdate Desktop makes installing apps from MacUpdate.com one-click easy.
Next time, install NuSMV with 1-click

Learn how MacUpdate Desktop can install apps on MacUpdate with the simple click of the Install apps with MacUpdate Desktop icon. Plus, keep all your apps updated.