nuXmv

FBK

Home Features Documentation License Download Contact & People Related Projects Tools using nuXmv The VMT Format Publications Useful Links Submit Bug Report FAQ

Copyright (C) 2014-2023
Fondazione Bruno Kessler

Release notes

Release 2.0.0

October 14, 2019
- 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.

Release 1.1.1

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

Release 1.1.0

May 10, 2016
- 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.

Release 1.0.1

Nov 17, 2014
- 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.

Release 1.0

Feb 10, 2014
- This is the first official release of nuXmv.