Alt-Ergo 2.6 Release: Boosting Formal Verification with New Features

We are thrilled to share that Alt-Ergo 2.6 has officially been released! Alt-Ergo is an automated prover developped by OCamlPro widely used in formal verification, it plays a key role in static analysis frameworks like the TIS Analyzer, SPARK and Frama-C. This latest version introduces a series of improvements and new features, particularly in bit-vector reasoning, model generation, and optimization. The updates in Alt-Ergo 2.6 are directly tied to the progress made in the DéCySif joint research project between AdaCore, Inria, OCamlPro, and TrustInSoft.