/jkind-1

JKind - a Java implementation of the KIND model checker

Primary LanguageJavaOtherNOASSERTION

Stargazers