GitHub repository: KaiSta/gopherlyzer
Primary language: Go
Created: 2016-06-20T13:00:46Z
Description: Static Trace-Based Deadlock Analysis for Synchronous Mini-Go