Description
Symbolic model checker for analysis of finite and infinite state systems.
package
nuxmv
Metadata
Version
2.1.0License
unfree
Homepage
https://nuxmv.fbk.eu/Maintainers (1)
Platforms (3)
Darwin
Linux
Show all
aarch64-darwinx86_64-darwinx86_64-linux