qmaxuse

classicwuhao

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

query

View on GitHub

7 Stars

2 Forks

7 Watchers

SMT Language

other License

Cost to Build

$31.99M

Market Value

$24.24M

How is this calculated?

Growth over time

7 data points · 2021-08-01 → 2023-07-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about qmaxuse

Question copied to clipboard

What is the classicwuhao/qmaxuse GitHub project? Description: "QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.". Written in SMT. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone qmaxuse

Clone via HTTPS

git clone https://github.com/classicwuhao/qmaxuse.git

Clone via SSH

[email protected]:classicwuhao/qmaxuse.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the qmaxuse issue tracker:

Open GitHub Issues

Similar to qmaxuse

PumpkinDB queryda fselect EloquentFilter fluentpdo loukoum react-querybuilder react-awesome-query-builder qone RxRetroJsoup gojsonq lodash-id jsonb_accessor YaLinqo element-queries-spec baby_squeel openCypher inquiry-deprecated pypika safebrowsing performance walkable SemanticMediaWiki bigbash datafun rrda laravel-api-handler mq-scss jslt gwtquery