Download NuSMV


You can download the NuSMV binary code by clicking on one of the following links. Before downloading NuSMV please read carefully the license.


Version 2.6.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit NuSMV-2.6.0-linux32.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.6.0-linux64.tar.gz
MacOSX Darwin (x86) 64-bit NuSMV-2.6.0-macosx64.tar.gz
Windows archive 32-bit (586) NuSMV-2.6.0-win32.tar.gz
Windows archive 64-bit (x86) NuSMV-2.6.0-win64.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit NuSMV-2.6.0-zchaff-linux32.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.6.0-zchaff-linux64.tar.gz
MacOSX Darwin (x86) 64-bit NuSMV-2.6.0-zchaff-macosx64.tar.gz
Windows archive 32-bit (586) NuSMV-2.6.0-zchaff-win32.tar.gz
Windows archive 64-bit (x86) NuSMV-2.6.0-zchaff-win64.tar.gz




Version 2.5.4

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.4-i386-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.4-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.4-i386-pc-mingw32.exe
Windows installer 64-bit (x86) NuSMV-2.5.4-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.4-i386-pc-mingw32.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.4-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.4-i386-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.4-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.4-i386-pc-mingw32.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.4-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.4-i386-pc-mingw32.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.4-x86_64-w64-mingw32.zip



Version 2.5.3

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.3-i386-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.3-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.3-i386-pc-mingw32.exe
Windows installer 64-bit (x86) NuSMV-2.5.3-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.3-i386-pc-mingw32.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.3-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.3-i386-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.3-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.3-i386-pc-mingw32.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.3-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.3-i386-pc-mingw32.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.3-x86_64-w64-mingw32.zip



Version 2.5.2

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.2-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.2-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.2-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-2.5.2-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.2-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.2-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.2-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.2-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.2-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.2-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.2-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.2-x86_64-w64-mingw32.zip


Version 2.5.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.1-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.1-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.1-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-2.5.1-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.1-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.1-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.1-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.1-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.1-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.1-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.1-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.1-x86_64-w64-mingw32.zip


Version 2.5.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.0-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.0-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.0-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-2.5.0-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.0-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.0-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.0-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.0-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.0-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.0-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.0-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86)