alt-ergo

There are 4 repositories under alt-ergo topic.

formalsec/smtml
A frontend for multiple SMT solvers in OCaml
Language:OCaml29 7 668
benmandrew/cavalry
Mini-language for program verification using Hoare logic
Language:OCaml2 1 00
EliasGit2017/ProofBox
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
Language:OCaml0 2 01
Tillerino/docker-why3
Docker image for the why3 system with some preinstalled provers
Language:Shell3 0