nuXmv

Symbolic model checker for analysis of finite and infinite state systems

Name

nuXmv

Homepage

• https://nuxmv.fbk.eu/pmwiki.php

Version

2.0.0

License

• Unfree

Maintainers

• Siraphob Phipathananunth

Platforms

• x86_64-linux
• x86_64-darwin

Defined

Source