Alt-Ergo
Alt-Ergo is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on satisfiability modulo theories (SMT). It is distributed under an open-source license (Cecill-C). Its original author was Sylvain Conchon, at LRI, but it is now developed and maintained at OCamlPro.
primaryTopic
Alt-Ergo
Alt-Ergo is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on satisfiability modulo theories (SMT). It is distributed under an open-source license (Cecill-C). Its original author was Sylvain Conchon, at LRI, but it is now developed and maintained at OCamlPro.
has abstract
Alt-Ergo is an automatic solve ...... ed and maintained at OCamlPro.
@en
Link from a Wikipage to an external page
Wikipage page ID
44,497,825
Wikipage revision ID
741,705,723
hypernym
comment
Alt-Ergo is an automatic solve ...... ed and maintained at OCamlPro.
@en
label
Alt-Ergo
@en