edu.washington.cs.types.checker:checker-maven-plugin (maven): Maven plugin for using the checker framework
Keywords: java|types|verification