gluon — Static Verification of Contracts for Concurrent Programs

Repository URL: 
https://github.com/ trxsys/gluon

Given a set of rules which restrict the concurrent execution of the methods of a Java class M, gluon statically verifies that the usage of M by another Java class C abides to those rules.