badouralix/nusmv repository overview

⁠NuSMV

This Dockerfile builds an image with NuSMV⁠, a symbolic model checker, with the zchaff SAT solver.

See the repo on Docker Hub⁠.

⁠Usage

Default workdir is /input. Thus, assuming you are currently in your project directory:

docker run -it --rm -v $PWD:/input:ro badouralix/nusmv <file>

See manual⁠ to learn how to use nusmv.

⁠Tips and tricks

In your shell rc dotfile, you could add an alias nusmv='docker run -it --rm -v $PWD:/input:ro badouralix/nusmv' so that you would just have to run :

nusmv <file>

⁠License

Unless expressly stated otherwise, all contents licensed under the MIT License⁠.