Sign inSign up

hamroctopus/spin

By hamroctopus

•Updated over 6 years ago

Promela / SPIN 6.4.5 formal verification container

Image
1

838

Tags for hamroctopus/spin

Sort by

TAG

6.4.5

Last pushed over 6 years by hamroctopus

docker pull hamroctopus/spin:6.4.5
DigestOS/ARCHCompressed size

f4a607aeef80

linux/amd64

175.89 MB