Alt-Ergo

SMT solver for software verification

DBpedia resource is: http://dbpedia.org/resource/Alt-Ergo

Abstract is: Alt-Ergo is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on satisfiability modulo theories (SMT) and distributed under an open-source license (CeCILL-C). Its original authors were Sylvain Conchon and Evelyne Contejean, at LRI, but it is now developed and maintained at OCamlPro.

Alt-Ergo is …
instance of (P31):
free and open-source softwareQ506883
SMT solverQ111307290

External links are
P3442Debian stable packagealt-ergo
P646Freebase ID/m/012c8y2z
P856official websitehttps://alt-ergo.ocamlpro.com/
P6931Repology project namealt-ergo
P1324source code repository URLhttps://github.com/OCamlPro/alt-ergo

P275copyright licenseCeCILLQ1052189
P6216copyright statuscopyrightedQ50423863
P366has usesatisfiability modulo theoriesQ2067766
P306operating systemcross-platformQ174666
P277programmed inOCamlQ212587
P348software version identifier2.5.4

The articles in Wikimedia projects and languages

      Alt-Ergowikipedia

Search more.