qmaxuse

There are 0 repository under qmaxuse topic.

• classicwuhao / qmaxuse

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

  maxuseverificationumlz3-smt-solverrankinginvariantsmetamodelqueryconcurrentoclqmaxusecvc5
  Language:SMT 10

• jmpreyes / msc_qmaxuse

  Second project submission for MSC

  maxuseqmaxuse
  Language:HTML 0