A docker container declaration for running the spin promela model checker from the command line.
269
The spin model checker installed in a docker container. Version is configureable, but by default it is 6.4.5.
To run, use
$ docker run -v $(pwd):/data -it --name spin --rm tritlo/spin --
Content type
Image
Digest
Size
147.5 MB
Last updated
about 10 years ago
docker pull tritlo/spin