alt-ergo

Here are 4 public repositories matching this topic...

A frontend for multiple SMT solvers in OCaml

ocaml webassembly symbolic-execution z3 smt smt-lib alt-ergo cvc5 colibri2 bitwuzla

Mini-language for program verification using Hoare logic

hoare-logic axiomatic-semantics why3 alt-ergo

Docker image for the why3 system with some preinstalled provers

docker why3 alt-ergo

Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs

docker docker-container ocaml coq smt-solver alt-ergo

Add a description, image, and links to the alt-ergo topic page so that developers can more easily learn about it.

To associate your repository with the alt-ergo topic, visit your repo's landing page and select "manage topics."