JKind - a Java implementation of the KIND model checker
Primary LanguageJavaOtherNOASSERTION
No issues in this repository yet.