Tool for detecting and classifying nonconformances in Java/JML projects.
Primary LanguageJavaGNU General Public License v3.0GPL-3.0