classicwuhao / qmaxuse

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

Geek Repo

Github PK Tool