GitHub repository: nicolasdilley/Gomela
Primary language: Promela
Created: 2020-01-23T15:32:25Z
Description: Tool developped for "Bounded verification of message passing concurrency in Go programs."