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_modelcommand)
[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.