Description
Symbolic model checker for analysis of finite and infinite state systems.
package
nuXmv
Metadata
Version
2.0.0License
unfree
Homepage
https://nuxmv.fbk.eu/pmwiki.phpMaintainers (1)
Platforms (2)
Darwin
Linux
Show all
x86_64-darwinx86_64-linux