Downloads
NuSMV v2 is open source software and it is distributed under LGPL v2.1 license. For more information about the availability and the use of NuSMV v2 please send an e-mail to Before downloading NuSMV v2 please carefully read the LGPL license. NuSMV v1.1 can be used, free of charge, only by academic institutions and only for their internal research and educational purposes.
| Version | License | Download |
|---|---|---|
| 2.7.0 | LGPL v2.1 | NuSMV-2.7.0.tar.xz |
| NuSMV-2.7.0.tar.xz.sha256sum | ||
| 2.6.0 | LGPL v2.1 | NuSMV-2.6.0.tar.gz |
| 2.5.4 | LGPL v2.1 | NuSMV-2.5.4.tar.gz |
| 2.5.3 | LGPL v2.1 | NuSMV-2.5.3.tar.gz |
| 2.5.2 | LGPL v2.1 | NuSMV-2.5.2.tar.gz |
| 2.5.1 | LGPL v2.1 | NuSMV-2.5.1.tar.gz |
| 2.5.0 | LGPL v2.1 | NuSMV-2.5.0.tar.gz |
| 2.4.3 | LGPL v2.1 | NuSMV-2.4.3.tar.gz |
| 2.4.2 | LGPL v2.1 | NuSMV-2.4.2.tar.gz |
| 2.4.1 | LGPL v2.1 | NuSMV-2.4.1.tar.gz |
| 2.4.0 | LGPL v2.1 | NuSMV-2.4.0.tar.gz |
| 2.3.1 | LGPL v2.1 | NuSMV-2.3.1.tar.gz |
| 2.3.0 | LGPL v2.1 | NuSMV-2.3.0.tar.gz |
| 2.2.5 | LGPL v2.1 | NuSMV-2.2.5.tar.gz |
| 2.2.4 | LGPL v2.1 | NuSMV-2.2.4.tar.gz |
| 2.2.3 | LGPL v2.1 | NuSMV-2.2.3.tar.gz |
| 2.2.2 | LGPL v2.1 | NuSMV-2.2.2.tar.gz |
| 2.2.1 | LGPL v2.1 | NuSMV-2.2.1.tar.gz |
| 2.2.0 | LGPL v2.1 | NuSMV-2.2.0.tar.gz |
| 2.1.2 | LGPL v2.1 | NuSMV-2.1.2.tar.gz |
| 2.1.1 | LGPL v2.1 | NuSMV-2.1.1.tar.gz |
| 2.1.0 | LGPL v2.1 | NuSMV-2.1.0.tar.gz |
| 2.0.3 | LGPL v2.1 | NuSMV-2.0.3.tar.gz |
| 2.0.2 | LGPL v2.1 | NuSMV-2.0.2.tar.gz |
| 2.0.1 | LGPL v2.1 | NuSMV-2.0.1.tar.gz |
| 2.0.0 | LGPL v2.1 | NuSMV-2.0.0.tar.gz |
| 1.1 | Proprietary | NuSMV-1.1.tar.gz |
| Version | License | Downloads |
|---|---|---|
| 2.7.0 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System |
||
| 2.6.0 | LGPL v2.1 | |
| 2.5.4 | LGPL v2.1 |
File Name
Operating System |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.5.3 | LGPL v2.1 |
File Name
Operating System |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.5.2 | LGPL v2.1 |
File Name
Operating System |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.5.1 | LGPL v2.1 |
File Name
Operating System |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.5.0 | LGPL v2.1 |
File Name
Operating System |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.4.3 | LGPL v2.1 |
File Name
Operating System |
|
File Name
Operating System |
||
| 2.4.2 | LGPL v2.1 |
File Name
Operating System |
|
File Name
Operating System |
||
| 2.4.1 | LGPL v2.1 | |
| 2.4.0 | LGPL v2.1 | |
| 2.3.1 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.3.0 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.2.5 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.2.4 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.2.3 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.2.2 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.2.1 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.2.0 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.1.2 | LGPL v2.1 | |
|
File Name
Operating System |
||
|
File Name
Operating System |
||
| 2.1.1 | LGPL v2.1 | |
|
File Name
Operating System |
||
| 2.1.0 | LGPL v2.1 | |
|
File Name
Operating System |
||
| 2.0.3 | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System |
||
|
File Name
Operating System
Notes |
||
| 2.0.2 | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System |
||
|
File Name
Operating System
Notes |
||
| 2.0.1 | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
| 2.0.0 | LGPL v2.1 |
File Name
Operating System
Notes |
| 1.1 | Proprietary |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
ZCHAFF is for non-commercial purposes only.
NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please visit zChaff home page for details.
| Version | License | Downloads |
|---|---|---|
| 2.6.0 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.5.4 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.5.3 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.5.2 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.5.1 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.5.0 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.4.3 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.4.2 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.4.1 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.4.0 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.3.1 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.3.0 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.2.5 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.2.4 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.2.3 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.2.2 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.2.1 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.2.0 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.1.2 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.1.1 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |
||
| 2.1.0 with ZCHAFF | LGPL v2.1 |
File Name
Operating System
Notes |
|
File Name
Operating System
Notes |
||
|
File Name
Operating System
Notes |