Title:NuSMV Version:2.5.4 Developer:Andrew Heard Category:Development Sub category:Compilers Downloads:5028
Rate 91% (Votes 2141)
Short description: NuSMV is a symbolic model checker.
Updated? Previous version had problems with install to 10.14.3...
Shirm, Yes, everything is fine here
Let me know if you need any help Added changes
Please fix it download link pdkxl.NuSMV.2.5.4.dmg
sckmdck, Sorry, fixed
Good! :) found !
Finally found a long forgotten site!)
Wow, on Lion started and works
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.