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.4.3

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
GNU/Linux libc6 (686) 32-bit NuSMV-2.4.3-i686-pc-linux-gnu.tar.gz  
GNU/Linux libc6 (x86) 64-bit NuSMV-2.4.3-x86_64-linux-gnu.tar.gz  
Windows installer (586) NuSMV-2.4.3-i586-pc-mingw32msvc.exe  

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) NuSMV-zchaff-2.4.3-i686-pc-linux-gnu.tar.gz  
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.4.3-x86_64-linux-gnu.tar.gz  
Windows installer (586) NuSMV-zchaff-2.4.3-i586-pc-mingw32msvc.exe  

Version 2.4.2

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
GNU/Linux libc6 (686) 32-bit NuSMV-2.4.2-i686-pc-linux-gnu.tar.gz  
GNU/Linux libc6 (x86) 64-bit NuSMV-2.4.2-x86_64-linux-gnu.tar.gz  
Windows installer (586) NuSMV-2.4.2-i586-pc-mingw32msvc.exe  

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) NuSMV-zchaff-2.4.2-i686-pc-linux-gnu.tar.gz  
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.4.2-x86_64-linux-gnu.tar.gz  
Windows installer (586) NuSMV-zchaff-2.4.2-i586-pc-mingw32msvc.exe  

Version 2.4.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
GNU/Linux libc6 (686) NuSMV-2.4.1-i686-pc-linux-gnu.tar.gz  
Windows installer (586) NuSMV-2.4.1-i586-pc-mingw32msvc.exe  
Windows archive (586) NuSMV-2.4.1-i586-pc-mingw32msvc.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) NuSMV-zchaff-2.4.1-i686-pc-linux-gnu.tar.gz  
Windows installer (586) NuSMV-zchaff-2.4.1-i586-pc-mingw32msvc.exe  
Windows archive (586) NuSMV-zchaff-2.4.1-i586-pc-mingw32msvc.zip  

Version 2.4.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
GNU/Linux libc6 (686) NuSMV-2.4.0-i686-pc-linux-gnu.tar.gz  
Windows installer (586) NuSMV-2.4.0-i586-pc-mingw32msvc.exe  
Windows archive (586) NuSMV-2.4.0-i586-pc-mingw32msvc.zip  
Mac OS X NuSMV-2.4.0-powerpc-apple-darwin7.9.0.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) NuSMV-zchaff-2.4.0-i686-pc-linux-gnu.tar.gz  
Windows installer (586) NuSMV-zchaff-2.4.0-i586-pc-mingw32msvc.exe  
Windows archive (586) NuSMV-zchaff-2.4.0-i586-pc-mingw32msvc.zip  
Mac OS X NuSMV-zchaff-2.4.0-powerpc-apple-darwin7.9.0.tar.gz  

Version 2.3.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.3.1-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-2.3.1-i686-pc-mingw32.tar.gz
NuSMV-2.3.1-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-2.3.1-powerpc-apple-darwin8.3.0.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.

Linux libc6 (x86) NuSMV-zchaff-2.3.1-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-zchaff-2.3.1-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.3.1-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-zchaff-2.3.1-powerpc-apple-darwin8.3.0.tar.gz  

Version 2.3.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.3.0-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-2.3.0-i686-pc-mingw32.tar.gz
NuSMV-2.3.0-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-2.3.0-powerpc-apple-darwin8.1.0.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.

Linux libc6 (x86) NuSMV-zchaff-2.3.0-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-zchaff-2.3.0-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.3.0-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-zchaff-2.3.0-powerpc-apple-darwin8.1.0.tar.gz  

Version 2.2.5

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.2.5-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-2.2.5-i686-pc-mingw32.tar.gz
NuSMV-2.2.5-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-2.2.5-powerpc-apple-darwin7.8.0.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.

Linux libc6 (x86) NuSMV-zchaff-2.2.5-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-zchaff-2.2.5-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.5-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-zchaff-2.2.5-powerpc-apple-darwin7.8.0.tar.gz  

Version 2.2.4

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.2.4-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-2.2.4-i686-pc-mingw32.tar.gz
NuSMV-2.2.4-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-2.2.4-powerpc-apple-darwin7.8.0.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.

Linux libc6 (x86) NuSMV-zchaff-2.2.4-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-zchaff-2.2.4-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.4-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-zchaff-2.2.4-powerpc-apple-darwin7.8.0.tar.gz  

Version 2.2.3

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.2.3-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-2.2.3-i686-pc-mingw32.tar.gz
NuSMV-2.2.3-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-2.2.3-powerpc-apple-darwin7.7.0.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.

Linux libc6 (x86) NuSMV-zchaff-2.2.3-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-zchaff-2.2.3-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.3-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-zchaff-2.2.3-powerpc-apple-darwin7.7.0.tar.gz  

Version 2.2.2

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.2.2-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-2.2.2-i686-pc-mingw32.tar.gz
NuSMV-2.2.2-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-2.2.2-powerpc-apple-darwin7.4.0.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.

Linux libc6 (x86) NuSMV-zchaff-2.2.2-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-zchaff-2.2.2-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.2-i686-pc-mingw32.zip 		 
Mac OS X NuSMV-zchaff-2.2.2-powerpc-apple-darwin7.4.0.tar.gz  

Version 2.2.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.2.1-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-2.2.1-i686-pc-mingw32.tar.gz
NuSMV-2.2.1-i686-pc-mingw32.zip 		 
Solaris 2.7 (Ultra Sparc) NuSMV-2.2.1-sparc-sun-solaris2.7.tar.gz libreadline
Mac OS X NuSMV-2.2.1-powerpc-apple-darwin7.4.0.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.

Linux libc6 (x86) NuSMV-zchaff-2.2.1-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-zchaff-2.2.1-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.1-i686-pc-mingw32.zip 		 
Solaris 2.7 (Ultra Sparc) NuSMV-zchaff-2.2.1-sparc-sun-solaris2.7.tar.gz libreadline
Mac OS X NuSMV-zchaff-2.2.1-powerpc-apple-darwin7.4.0.tar.gz  

Version 2.2.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.2.0-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-2.2.0-i686-pc-mingw32.tar.gz
NuSMV-2.2.0-i686-pc-mingw32.zip 		 
Solaris 2.7 (Ultra Sparc) NuSMV-2.2.0-sparc-sun-solaris2.7.tar.gz libreadline
Mac OS X NuSMV-2.2.0-powerpc-apple-darwin7.4.0.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.

Linux libc6 (x86) NuSMV-zchaff-2.2.0-i686-pc-linux-gnu.tar.gz  
Windows with mingw (x86) NuSMV-zchaff-2.2.0-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.0-i686-pc-mingw32.zip 		 
Solaris 2.7 (Ultra Sparc) NuSMV-zchaff-2.2.0-sparc-sun-solaris2.7.tar.gz libreadline
Mac OS X NuSMV-zchaff-2.2.0-powerpc-apple-darwin7.4.0.tar.gz  

Version 2.1.2

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.1.2_Linux-i686.tar.gz  
Windows with cygwin (x86) NuSMV-2.1.2_CYGWIN_98-4.10-i686.tar.gz
NuSMV-2.1.2_CYGWIN_98-4.10-i686.zip 		Cygwin
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.2_SunOS-sun4u.tar.gz libreadline

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.

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.1.2-zchaff_Linux-i686.tar.gz  
Windows with cygwin (x86) NuSMV-2.1.2-zchaff_CYGWIN_98-4.10-i686.tar.gz
NuSMV-2.1.2-zchaff_CYGWIN_98-4.10-i686.zip 		Cygwin
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.2-zchaff_SunOS-sun4u.tar.gz libreadline

Version 2.1.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.1.1_Linux-i686.tar.gz  
Windows with cygwin (x86) NuSMV-2.1.1_CYGWIN_98-4.10-i686.tar.gz Cygwin
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.1_SunOS-sun4u.tar.gz libreadline

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.

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.1.1-zchaff_Linux-i686.tar.gz  
Windows with cygwin (x86) NuSMV-2.1.1-zchaff_CYGWIN_98-4.10-i686.tar.gz Cygwin
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.1-zchaff_SunOS-sun4u.tar.gz libreadline

Version 2.1.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.1.0_Linux-i686.tar.gz  
Windows with cygwin (x86) NuSMV-2.1.0_CYGWIN_98-4.10-i686.tar.gz Cygwin
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.0_SunOS-sun4u.tar.gz libreadline

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.

OS Type (architecture) Binary code v2 (LGPL license)Required libraries
Linux libc6 (x86) NuSMV-2.1.0-zchaff_Linux-i686.tar.gz  
Windows with cygwin (x86) NuSMV-2.1.0-zchaff_CYGWIN_98-4.10-i686.tar.gz Cygwin
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.0-zchaff_SunOS-sun4u.tar.gz libreadline

Old versions

OS Type (architecture) Binary code v2 (LGPL license)Required libraries, as printed by executing the
"ldd ./NuSMV" Unix command
Linux libc6 (x86) NuSMV-2.0.3_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2
Windows with cygwin (x86) NuSMV-2.0.3_CYGWIN_98-4.10-i686.tar.gz Cygwin
Solaris 2.6 (Ultra Sparc) NuSMV-2.0.3_SunOS-sun4u.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Linux libc6 (x86) NuSMV-2.0.2_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2
Windows with cygwin (x86) NuSMV-2.0.2_CYGWIN_98-4.10-i686.tar.gz Cygwin
Solaris 2.6 (Ultra Sparc) NuSMV-2.0.2_SunOS-sun4u.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Linux libc6 (x86) NuSMV-2.0.1_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2
Solaris 2.6 (Ultra Sparc) NuSMV-2.0.1_SunOS-sun4u.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Linux libc6 (x86) NuSMV-2.0.0_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2

OS Type (architecture) Binary code v1.1 (proprietary license)Required libraries, as printed by executing the
"ldd ./NuSMV" Unix command
Solaris 2.5 (Sparc) NuSMV-1.1_SunOS-sun4m.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Solaris 2.6 (Ultra Sparc) NuSMV-1.1_SunOS-sun4u.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Linux libc5 (x86) NuSMV-1.1_Linux-i586.tar.gz libm.so.5, libreadline.so.2, libtermcap.so.2, libc.so.5
Linux libc6 (x86) NuSMV-1.1_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2
Linux libc6 (x86) NuSMV-1.1_Linux-i686_nr.tar.gz libm.so.6, libc.so.6, /lib/ld-linux.so.2

If you want to subscribe to one of the NuSMV mailing lists, please click here,.
NuSMV <>