You are here

nuXmv

nuXmv is a new symbolic model checker for finite- and infinite-state synchronous transition systems.

nuXmv is the the eXtended version of NuSMV open source symbolic model checker.

For further information, please refer to the nuXmv's web page.