GitHub topics: cvc5
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
Language: Scala - Size: 139 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 374 - Forks: 56
formalsec/smtml
An SMT solver frontend for OCaml
Language: OCaml - Size: 2.65 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 35 - Forks: 10
abdoo8080/lean-cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Language: Lean - Size: 276 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 14 - Forks: 4
formalsec/ocaml-cvc5
OCaml bindings for the cvc5 SMT solver
Language: OCaml - Size: 97.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
dee-tree/CovBoy
Coverage based SMT-solvers behavior testing
Language: Kotlin - Size: 979 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
classicwuhao/qmaxuse
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
Language: SMT - Size: 268 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1
nicdard/fusion-function-generator
A generator for Semantic Fusion
Language: Python - Size: 1.28 MB - Last synced at: 12 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
