classicwuhao/qmaxuse

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

Language: SMT - Size: 268 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1