GitHub repository: Devexperts/lin-check
Primary language: Java
Created: 2015-11-11T15:41:39Z
Description: Linearization checker for Java concurrent programs