Related Articles

Articles written by Basile Clément


Date: 2024-09-30
Category: Formal Methods
Tags: alt-ergo

We are excited to announce the release of Alt-Ergo 2.6! Alt-Ergo is an open-source automated prover used for formal verification in software development. It is part of the arsenal behind static analysis frameworks such as TrustInSoft Analyzer and Frama-C, and is one of the solvers behind Why3, a pla... (Read more)

Related Articles