Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Alt-Ergo> ?p ?o }
Showing triples 1 to 54 of
54
with 100 triples per page.
- Alt-Ergo abstract "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.".
- Alt-Ergo wikiPageExternalLink ABZ-2014.pdf.
- Alt-Ergo wikiPageExternalLink alt-ergo.ocamlpro.com.
- Alt-Ergo wikiPageExternalLink cubicle.lri.fr.
- Alt-Ergo wikiPageExternalLink why3.lri.fr.
- Alt-Ergo wikiPageExternalLink www.lri.fr.
- Alt-Ergo wikiPageExternalLink www.ocamlpro.com.
- Alt-Ergo wikiPageExternalLink www.easycrypt.info.
- Alt-Ergo wikiPageID "44497825".
- Alt-Ergo wikiPageLength "2675".
- Alt-Ergo wikiPageOutDegree "17".
- Alt-Ergo wikiPageRevisionID "664059224".
- Alt-Ergo wikiPageWikiLink AC_symbol.
- Alt-Ergo wikiPageWikiLink B-Method.
- Alt-Ergo wikiPageWikiLink Category:Formal_methods_tools.
- Alt-Ergo wikiPageWikiLink Category:Linux_software.
- Alt-Ergo wikiPageWikiLink Category:OCaml_software.
- Alt-Ergo wikiPageWikiLink Category:Software_testing_tools.
- Alt-Ergo wikiPageWikiLink Empty_theory.
- Alt-Ergo wikiPageWikiLink Enumerated_datatype.
- Alt-Ergo wikiPageWikiLink Frama-C.
- Alt-Ergo wikiPageWikiLink Linear_integer_arithmetic.
- Alt-Ergo wikiPageWikiLink Linear_rational_arithmetic.
- Alt-Ergo wikiPageWikiLink Non-linear_arithmetic.
- Alt-Ergo wikiPageWikiLink Polymorphic_array.
- Alt-Ergo wikiPageWikiLink Record_datatype.
- Alt-Ergo wikiPageWikiLink Rodin_tool.
- Alt-Ergo wikiPageWikiLink SPARK_(programming_language).
- Alt-Ergo wikiPageWikiLink Satisfiability_Modulo_Theories.
- Alt-Ergo wikiPageWikiLink Satisfiability_modulo_theories.
- Alt-Ergo wikiPageWikiLink Uninterpreted_function.
- Alt-Ergo wikiPageWikiLinkText "Alt-Ergo".
- Alt-Ergo hasPhotoCollection Alt-Ergo.
- Alt-Ergo wikiPageUsesTemplate Template:Advert.
- Alt-Ergo wikiPageUsesTemplate Template:Software-stub.
- Alt-Ergo wikiPageUsesTemplate Template:Unreferenced.
- Alt-Ergo subject Category:Formal_methods_tools.
- Alt-Ergo subject Category:Linux_software.
- Alt-Ergo subject Category:OCaml_software.
- Alt-Ergo subject Category:Software_testing_tools.
- Alt-Ergo hypernym Solver.
- Alt-Ergo type Software.
- Alt-Ergo type Work.
- Alt-Ergo type CreativeWork.
- Alt-Ergo type Thing.
- Alt-Ergo type Q386724.
- Alt-Ergo type Q7397.
- Alt-Ergo comment "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.".
- Alt-Ergo label "Alt-Ergo".
- Alt-Ergo sameAs m.012c8y2z.
- Alt-Ergo sameAs Q19599372.
- Alt-Ergo sameAs Q19599372.
- Alt-Ergo wasDerivedFrom Alt-Ergo?oldid=664059224.
- Alt-Ergo isPrimaryTopicOf Alt-Ergo.