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
Create a collection and add  to it.
Like this app? Be the first to add it to a collection! Create a Collection by bringing together complementary apps that have a common theme or purpose, then share it and discover new collections!
Leave a Review

NuSMV User Discussion

To leave a comment, you need to be logged in.
reviews_anchor
Sort by: Time | Smiles
NuSMV needs a rating. Be the first to rate this app and get the discussion started!
1 1

Ratings

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

Details

Downloads 937
Version Downloads 937
License Free
Date 23 Nov 2012
Platform Intel 64 / OS X
Price Free
download install download install purchase purchase