Release notes

[2.2.0] – 2026-06-05

This is a maintenance release of nuXmv that provides some new features, internals improvements and bug fixes. The major changes include:

Added

• New nuXmv API.
• rlive as algorithm option in for finite-state systems only.
• Option to select a property by name in .

Fixed

• Fix option documentation and inconsistencies in manuals.
• Bug in VMT model reading.
• Bug in param synthesis when property is specified on the command line.

[2.1.0] – 2024-11-29

This is a major release of nuXmv that provides some new features, some internals improvements and several bug fixes. The major changes include:

• replaced the GNU readline library with the BSD editline library
• add support for the generation of symbolic deterministic automata from an Extended Bounded Response LTL specification (LTL-EBR).
• add support for reqan verification in timed nuxmv
• add support for additional nonlinear operators (pow, square root, cos, tan, asin, acos, atan)
• handle input vars in check_traces_properties
• added support for VMT input (read_vmt_model command)

[2.0.0] – 2019-10-14

This is a major release of nuXmv that provides some new features, some internals improvements and several bug fixes. See NEWS.txt for complete information about this release.

[1.1.1] – 2016-06-01

This is a minor release of nuXmv that provides various bug fixes. See NEWS.txt for complete information about this release.

[1.1.0] – 2015-05-10

This is a major release of nuXmv that provides some new features, some internals improvements and several bug fixes. See NEWS.txt for complete information about this release.

[1.0.1] – 2014-11-17

This is a minor release of nuXmv that provides some internals improvements and several bug fixes. See NEWS.txt for complete information about this release.

[1.0.0] – 2014-02-10

This is the first official release of nuXmv.