maxdiefenbach/spin652

•Updated over 3 years ago

Spin Model Checker version-6.5.2

Image

111

Tags for maxdiefenbach/spin652

Sort by

TAG

latest

Last pushed over 3 years by maxdiefenbach

docker pull maxdiefenbach/spin652:latest

Digest	OS/ARCH	Compressed size
4a4be1ad84b1	linux/amd64	160.95 MB