classicwuhao/qmaxuse
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
SMTNOASSERTION
Issues
- 0
failed to get data from cvc5
#10 opened by classicwuhao
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
SMTNOASSERTION