GitHub repository: septract/starling-tool
Primary language: F#
Created: 2015-10-09T10:51:44Z
Description: An automatic verifier for concurrent algorithms.