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.
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.
