angeloferrando/spin

•Updated 8 days ago

Repository to allow students to run SPIN model checker on their machines.

Image

Languages & frameworks

Developer tools

110

Tags for angeloferrando/spin

Sort by

TAG

latest

Last pushed 8 days by angeloferrando

docker pull angeloferrando/spin:latest

Digest	OS/ARCH	Compressed size
04e950ecb636	linux/amd64	116.81 MB
c3097f964713	linux/arm64	111.27 MB