Sortie d'Alt-Ergo 2.6 : Renforcer la vérification formelle avec de nouvelles fonctionnalités

Nous sommes ravis d’annoncer la sortie officielle d’Alt-Ergo 2.6 ! Alt-Ergo est un démonstrateur automatisé développé par OCamlPro, largement utilisé en vérification formelle. Il joue un rôle clé dans les cadres d’analyse statique tels que le TIS Analyzer, SPARK et Frama-C. Cette nouvelle version introduit une série d’améliorations et de nouvelles fonctionnalités, en particulier dans le raisonnement sur les bit-vectors, la génération de modèles et l’optimisation. Les mises à jour d’Alt-Ergo 2.