org.checkerframework:checker-qual (maven): checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework. 
Keywords: java|types|verification