classicwuhao / qmaxuse Star 10 Code Issues Pull requests QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants. query uml verification metamodel ranking concurrent invariants ocl maxuse z3-smt-solver qmaxuse cvc5 Updated Apr 18, 2023 SMT
jmpreyes / msc_qmaxuse Star 0 Code Issues Pull requests Second project submission for MSC maxuse qmaxuse Updated Aug 11, 2019 HTML