GitHub topics: cvc5
formalsec/ocaml-cvc5
OCaml bindings for the cvc5 SMT solver
Language: C++ - Size: 168 KB - Last synced at: about 23 hours ago - Pushed at: 1 day ago - Stars: 4 - Forks: 2
formalsec/smtml
An SMT solver frontend for OCaml
Language: OCaml - Size: 2.81 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 42 - Forks: 13
abdoo8080/lean-cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Language: Lean - Size: 241 KB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 19 - Forks: 6
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
Language: Scala - Size: 139 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 375 - Forks: 56
dee-tree/CovBoy
Coverage based SMT-solvers behavior testing
Language: Kotlin - Size: 979 KB - Last synced at: over 1 year ago - Pushed at: over 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: over 2 years ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 1
nicdard/fusion-function-generator
A generator for Semantic Fusion
Language: Python - Size: 1.28 MB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
