classicwuhao

classicwuhao

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
7 Stars
2 Forks
7 Watchers

Repositories (1)

qmaxuse classicwuhao/qmaxuse SMT

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

7