GitHub repository: EricCrosson/spin
Primary language: Shell
Created: 2016-04-25T19:03:24Z
Description: A docker build environment for Promela language files through the Spin formal verification tool