angeloferrando/spin

•Updated 8 days ago

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

Image

Languages & frameworks

Developer tools

110

angeloferrando/spin repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:eb09efa51…

Size

116.8 MB

Last updated

8 days ago

docker pull angeloferrando/spin