Alt-Ergo
SMT solver for software verification / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Alt-Ergo?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Alt-Ergo, an automatic solver for mathematical formulas, is mainly used in formal program verification. It operates on the principle of satisfiability modulo theories (SMT). Development was undertaken by researchers at the Paris-Sud University, Laboratoire de Recherche en Informatique, Inria Saclay Ile-de-France, and CNRS. Since 2013, project management and oversight has been conducted by OCamlPro company.[1] It is released under the free and open-source software CeCILL-C license.
This article needs additional citations for verification. (July 2023) |
Quick Facts Developer(s), Repository ...
![]() | |
Developer(s) | OCamlPro |
---|---|
Repository | |
Written in | OCaml |
Available in | English |
Type | Mathematical solver, program verifier |
Website | alt-ergo |
Close