Verification framework and tool for higher-order Scala programs
-
Updated
Dec 13, 2024 - Scala
#
cvc5
Here are 7 public repositories matching this topic...
A frontend for multiple SMT solvers in OCaml
-
Updated
Dec 16, 2024 - OCaml
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
Improve this page
Add a description, image, and links to the cvc5 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cvc5 topic, visit your repo's landing page and select "manage topics."