GitHub repository: marcelfloe/java-typestate-checker
Description: JaTyC: a typestate checker for Java