GitHub repository: utwente-fmt/vercors
Primary language: Scala
Created: 2016-03-17T10:58:14Z
Description: The VerCors verification toolset for verifying parallel and concurrent software