NuSMV
NuSMV 2.5.4
Your rating: Now say why...

(1) 0.5

NuSMV is a symbolic model checker.   Free
Add to my Watch List
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
Intel, 64-bit processor, OS X 10.6 or later



MacUpdate - NuSMV






    Be the first to recommend a similar software title.
NuSMV User Discussion (Write a Review)
ver. 2.x:
(1)
Your rating: Now say why...
Overall:
(1)

sort: smiles | time
burypromote

veenamayya reviewed on 19 Jan 2013
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?
[Version 2.5.4]

1 Reply

burypromote
Michele-Dorigatti replied on 12 Nov 2013
I guess you solved your problems by now! However, if you still need help youu could write to:
nusmv-users@list.fbk.eu
burypromote
veenamayya had trouble on 19 Jan 2013
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.
[Version 2.5.4]


There are currently no ratings. Write a comment or review now.

Downloads:499
Version Downloads:499
Type:Development : Compilers
License:Free
Date:23 Nov 2012
Platform:Intel 64 / OS X
Price:Free0.00
Overall (Version 2.x):
Features:
Ease of Use:
Value:
Stability:
Displaying 1-1 of 1
Displaying 1-1 of 1
-
-
-
Please login or create a new
MacUpdate Member account
to use this feature
Watch Lists are available to
MacUpdate Desktop Members
Upgrade Now
Install with MacUpdate Desktop.
Save time moving files & cleaning
up space wasting archives.
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.


- -