cvc5

There are 7 repositories under cvc5 topic.

epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
Language:Scala370 18 71955
formalsec/smtml
An SMT solver frontend for OCaml
Language:OCaml34 7 788
abdoo8080/lean-cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Language:Lean13 1 04
classicwuhao/qmaxuse
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
Language:SMT11 1 13
formalsec/ocaml-cvc5
OCaml bindings for the cvc5 SMT solver
Language:OCaml3 5 151
nicdard/fusion-function-generator
A generator for Semantic Fusion
Language:Python2 2 80
dee-tree/CovBoy
Coverage based SMT-solvers behavior testing
Language:Kotlin0 1 00