nuXmv Download

Remark: nuXmv can be used only for non-commercial or academic purposes. See License for details.

Download of nuXmv

The nuXmv system is currently available in binary format for the mostly used platforms:

Version 2.1.0 (November 29, 2024)

• Linux: x86_64 (sha256sum).
• Mac OS X: 64-bit universal binary (sha256sum).
• Windows: x86_64 (sha256sum).

If you want to be notified by new releases, you can subscribe to the nuxmv-users mailing list.

• Release Notes
• Previous Versions

License

See License for further details.

nuXmv HWMCC'13 submission

The bit-level engine of nuXmv, that participated in the Hardware Model Checking Competition 2013 (HWMCC'13), can be downloaded from this link.