EricCrosson / spin

A docker build environment for Promela language files through the Spin formal verification tool

https://hub.docker.com/r/hamroctopus/spin/

Geek Repo

Github PK Tool