Formal Methods Tools

NuSMV

Symbolic Model Checker

At a Glance

Applications Model Checker
Developers Fondazione Bruno Kessler
Licenses LGPL
Maintenance Actively Maintained

Description

NuSMV is a symbolic model checker.

Help improve this page!
Submit an issue or pull request.
Updated