package

nuXmv

Description

Symbolic model checker for analysis of finite and infinite state systems.

Metadata

Version

2.0.0

License

unfree

Status

Source

pkgs/applications/science/logic/nuXmv/default.nix:27

Homepage

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

Maintainers (1)

Siraphob Phipathananunth

Platforms (2)

Darwin

Linux

Show all

x86_64-darwin
x86_64-linux