Alt-Ergo

http://dbpedia.org/resource/Alt-Ergo an entity of type: Thing

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. rdf:langString
rdf:langString Alt-Ergo
rdf:langString Alt-Ergo
rdf:langString Alt-Ergo
xsd:integer 44497825
xsd:integer 1105214411
rdf:langString OCamlPro
rdf:langString Mathematical solver, program verifier
rdf:langString Alt-ergo.png
rdf:langString 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.
xsd:nonNegativeInteger 3236
owl:Thing
dbpedia-owl:Software
schema-org:CreativeWork
dbpedia-owl:Work
<http://www.wikidata.org/entity/Q386724>
<http://www.wikidata.org/entity/Q7397>
<http://alt-ergo.lri.fr>
<http://commons.wikimedia.org/wiki/Special:FilePath/Alt-ergo.png>
dbpedia:Category:Formal_methods_tools
dbpedia:Category:OCaml_software
dbpedia:Category:Linux_software
dbpedia:Category:Software_testing_tools
dbpedia:Rodin_tool
dbpedia:Enumerated_type
dbpedia:Category:Formal_methods_tools
dbpedia:SPARK_(programming_language)
dbpedia:Z3_Theorem_Prover
dbpedia:Parametric_polymorphism
dbpedia:Category:OCaml_software
dbpedia:Formal_verification
dbpedia:Frama-C
dbpedia:Floating_point_arithmetic
dbpedia:Record_(computer_science)
dbpedia:Category:Linux_software
dbpedia:Category:Software_testing_tools
dbpedia:B-Method
dbpedia:Empty_theory
dbpedia:SAT_solver
dbpedia:Satisfiability_modulo_theories
<http://alt-ergo.lri.fr/documents/ABZ-2014.pdf>
<http://cubicle.lri.fr/>
<http://why3.lri.fr/>
<https://www.easycrypt.info/>
<http://alt-ergo.lri.fr/>
<http://alt-ergo.lri.fr>
<http://alt-ergo.ocamlpro.com>
<http://www.lri.fr>
<http://www.ocamlpro.com>
<http://rdf.freebase.com/ns/m.012c8y2z>
<http://yago-knowledge.org/resource/Alt-Ergo>
<http://www.wikidata.org/entity/Q19599372>
<https://global.dbpedia.org/id/s44b>
dbpedia:Template:Advert
dbpedia:Template:Infobox_software
dbpedia:Template:Portal
dbpedia:Template:Short_description
dbpedia:Template:Unreferenced
dbpedia:Template:Science-software-stub
<http://commons.wikimedia.org/wiki/Special:FilePath/Alt-ergo.png?width=300>
<http://alt-ergo.lri.fr>
dbpedia:Solver
<http://en.wikipedia.org/wiki/Alt-Ergo?oldid=1105214411&ns=0>
<http://en.wikipedia.org/wiki/Alt-Ergo>

data from the linked data cloud