Verification framework and tool for higher-order Scala programs
-
Updated
Nov 4, 2024 - Scala
#
cvc5
Here are 7 public repositories matching this topic...
A frontend for multiple SMT solvers in OCaml
-
Updated
Oct 29, 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."