Linearization checker for Java concurrent programs - View it on GitHub