Thank you for your review
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.


OS X 10.6 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Leave a Review

NuSMV User Discussion

Nobody has reviewed or commented on this app yet. Add your own comment and get a discussion going!
Sort by: Time | Smiles
veenamayya Member IconComment+0

I am not able to install the software on mac os X Lion(10.7.5). It gives incompatible OS ( minimum 10.8 Required ) message. Please help to install nusmv on 10.7.5.

Reply0 replies
Version 2.5.4
veenamayya Member IconReview+0

I am not able to install this software on Mac OS X 10.7.5:-(. It shows incompatible OS message ( minimum is 10.8). But the requirements shows 10.6 or later? Anyone please let me know where can I get nusmv software for Intel 10.7(Lion) OS?

Reply1 reply
Version 2.5.4

I guess you solved your problems by now! However, if you still need help youu could write to:

There are no Ratings for this App yet.
> 1 1


Current Version (2.x)


Downloads 585
Version Downloads 585
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. Play video...