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.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:thumbnail | |
| dbo:wikiPageExternalLink | |
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink |
|
| dbp:developer |
|
| dbp:genre |
|
| dbp:logo |
|
| dbp:name |
|
| dbp:website | |
| dbp:wikiPageUsesTemplate | |
| dcterms:subject | |
| gold:hypernym | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:depiction | |
| foaf:homepage | |
| foaf:isPrimaryTopicOf | |
| foaf:name |
|
| is dbo:wikiPageWikiLink of | |
| is foaf:primaryTopic of |
