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

Previous Versions

Version 2.0.0 (October 14, 2019)

Linux: 32-bit x86 , 64-bit x86 .
Mac OS X: 64-bit x86 (linked with Clang's libc++).
Windows: Windows x86-32 , Windows x86-64

Version 1.1.1 (June 1, 2016)

Linux: 32-bit x86 , 64-bit x86 .
Mac OS X: 64-bit x86 (linked with Clang's libc++).
Windows: Windows x86-32 , Windows x86-64

Version 1.1.0 (May 10, 2016)

Linux: 32-bit x86 , 64-bit x86 .
Mac OS X: 64-bit x86 (linked with Clang's libc++).
Windows: Windows x86-32 , Windows x86-64

Version 1.0.1 (Nov 17, 2014)

Linux: 64-bit x86.
Mac OS X: 64-bit x86 (linked with Clang's libc++).
Windows: Windows x86-64

Version 1.0 (Feb 10, 2014)

Linux: 64-bit x86 .
Mac OS X: 64-bit x86 (linked with Clang's libc++).
Windows: Cygwin x86