/qmaxuse

QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.

Primary LanguageSMTOtherNOASSERTION

Stargazers