Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/KeY
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/KeY
http://dbpedia.org/ontology/abstract Le logiciel KeY est un outil de vérificatiLe logiciel KeY est un outil de vérification formelle de programmes Java. Débuté en 1998, le projet KeY est porté par l'Institut de technologie de Karlsruhe, l'Université de technologie de Darmstadt et l'École polytechnique Chalmers. KeY accepte les spécifications écrites à l'aide du Java Modeling Language (JML). à l'aide du Java Modeling Language (JML). , The KeY tool is used in formal verificatioThe KeY tool is used in formal verification of Java programs. It accepts specifications written in the Java Modeling Language to Java source files. These are transformed into theorems of dynamic logic and then compared against program semantics that are likewise defined in terms of dynamic logic. KeY is significantly powerful in that it supports both interactive (i.e. by hand) and fully automated correctness proofs. Failed proof attempts can be used for a more efficient debugging or verification-based testing. There have been several extensions to KeY in order to apply it to the verification of C programs or hybrid systems. KeY is jointly developed by Karlsruhe Institute of Technology, Germany; Technische Universität Darmstadt, Germany; and Chalmers University of Technology in Gothenburg, Sweden and is licensed under the GPL.urg, Sweden and is licensed under the GPL.
http://dbpedia.org/ontology/developer Karlsruhe Institute of Technology + , http://dbpedia.org/resource/Technische_Universit%C3%A4t_Darmstadt + , http://dbpedia.org/resource/Chalmers_University_of_Technology +
http://dbpedia.org/ontology/genre http://dbpedia.org/resource/Formal_verification +
http://dbpedia.org/ontology/latestReleaseDate "2020-12-18"^^xsd:date
http://dbpedia.org/ontology/latestReleaseVersion 2.8.0
http://dbpedia.org/ontology/license http://dbpedia.org/resource/GNU_General_Public_License +
http://dbpedia.org/ontology/programmingLanguage http://dbpedia.org/resource/Java_%28programming_language%29 +
http://dbpedia.org/ontology/thumbnail http://commons.wikimedia.org/wiki/Special:FilePath/KeY_logo.svg?width=300 +
http://dbpedia.org/ontology/wikiPageExternalLink http://symbolaris.com/logic/dL.html + , http://www.dwheeler.com/essays/high-assurance-floss.html + , http://www.ls.cs.cmu.edu/KeYmaeraX/ + , https://www.key-project.org/ + , http://vstte.ethz.ch/Files/stump.pdf + , http://www.key-project.org + , https://www.springer.com/978-3-319-49811-9 + , https://www.springer.com/east/home/generic/search/results%3FSGWID=5-40109-22-173712406-0 + , https://doi.org/10.1007%2Fs00165-008-0084-5 + , http://symbolaris.com/info/KeYmaera.html +
http://dbpedia.org/ontology/wikiPageID 12528650
http://dbpedia.org/ontology/wikiPageLength 11416
http://dbpedia.org/ontology/wikiPageRevisionID 1076362210
http://dbpedia.org/ontology/wikiPageWikiLink http://dbpedia.org/resource/Category:Proof_assistants + , http://dbpedia.org/resource/Formal_verification + , http://dbpedia.org/resource/University_of_Oldenburg + , http://dbpedia.org/resource/Java_%28programming_language%29 + , http://dbpedia.org/resource/Sequent_calculus + , http://dbpedia.org/resource/Chalmers_University_of_Technology + , http://dbpedia.org/resource/Technische_Universit%C3%A4t_Darmstadt + , http://dbpedia.org/resource/Formal_logic + , http://dbpedia.org/resource/Kripke_structure + , http://dbpedia.org/resource/Java_web_start + , http://dbpedia.org/resource/Hoare_calculus + , http://dbpedia.org/resource/ETH_Z%C3%BCrich + , http://dbpedia.org/resource/GNU_General_Public_License + , http://dbpedia.org/resource/Chimera_%28mythology%29 + , http://dbpedia.org/resource/File:Dynamic_logic_proof.png + , http://dbpedia.org/resource/Abstract_State_Machine + , http://dbpedia.org/resource/Homophone + , http://dbpedia.org/resource/MISRA_C + , Karlsruhe Institute of Technology + , http://dbpedia.org/resource/Mathematica + , http://dbpedia.org/resource/KeY + , http://dbpedia.org/resource/Hybrid_system + , http://dbpedia.org/resource/Springer_International_Publishing + , http://dbpedia.org/resource/Springer_Science%2BBusiness_Media + , http://dbpedia.org/resource/Eclipse_%28software%29 + , http://dbpedia.org/resource/Debugging + , http://dbpedia.org/resource/Dynamic_logic_%28modal_logic%29 + , http://dbpedia.org/resource/Duality_%28mathematics%29 + , http://dbpedia.org/resource/C_%28programming_language%29 + , http://dbpedia.org/resource/Carnegie_Mellon_University + , http://dbpedia.org/resource/Category:Free_theorem_provers + , http://dbpedia.org/resource/C_programming_language + , http://dbpedia.org/resource/First-order_logic + , http://dbpedia.org/resource/Symbolic_execution + , http://dbpedia.org/resource/Weakest_precondition + , http://dbpedia.org/resource/Model-based_testing + , http://dbpedia.org/resource/Java_Modeling_Language + , http://dbpedia.org/resource/Hybrid_systems + , http://dbpedia.org/resource/Deductive_reasoning + , http://dbpedia.org/resource/Automated_theorem_prover + , http://dbpedia.org/resource/Category:Formal_methods_tools + , http://dbpedia.org/resource/Control_flow + , http://dbpedia.org/resource/Unit_tests + , http://dbpedia.org/resource/Termination_analysis +
http://dbpedia.org/property/caption Screenshot of KeY 1.4
http://dbpedia.org/property/developer Karlsruhe Institute of Technology + , http://dbpedia.org/resource/Chalmers_University_of_Technology + , http://dbpedia.org/resource/Technische_Universit%C3%A4t_Darmstadt +
http://dbpedia.org/property/genre http://dbpedia.org/resource/Formal_verification +
http://dbpedia.org/property/language English
http://dbpedia.org/property/latestReleaseDate "2020-12-18"^^xsd:date
http://dbpedia.org/property/latestReleaseVersion 2.8
http://dbpedia.org/property/license http://dbpedia.org/resource/GNU_General_Public_License +
http://dbpedia.org/property/logo KeY logo.svg
http://dbpedia.org/property/name KeY
http://dbpedia.org/property/operatingSystem Linux, Mac, Windows, Solaris
http://dbpedia.org/property/programmingLanguage http://dbpedia.org/resource/Java_%28programming_language%29 +
http://dbpedia.org/property/screenshot Key-tool.jpg
http://dbpedia.org/property/website https://www.key-project.org/ +
http://dbpedia.org/property/wikiPageUsesTemplate http://dbpedia.org/resource/Template:Main + , http://dbpedia.org/resource/Template:ISBN + , http://dbpedia.org/resource/Template:Multiple_issues + , http://dbpedia.org/resource/Template:Release_date + , http://dbpedia.org/resource/Template:Commons_category + , http://dbpedia.org/resource/Template:Infobox_software + , http://dbpedia.org/resource/Template:Jargon + , http://dbpedia.org/resource/Template:More_footnotes + , http://dbpedia.org/resource/Template:Reflist +
http://purl.org/dc/terms/subject http://dbpedia.org/resource/Category:Free_theorem_provers + , http://dbpedia.org/resource/Category:Proof_assistants + , http://dbpedia.org/resource/Category:Formal_methods_tools +
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/KeY?oldid=1076362210&ns=0 +
http://xmlns.com/foaf/0.1/depiction http://commons.wikimedia.org/wiki/Special:FilePath/KeY_logo.svg + , http://commons.wikimedia.org/wiki/Special:FilePath/Key-tool.jpg + , http://commons.wikimedia.org/wiki/Special:FilePath/Dynamic_logic_proof.png +
http://xmlns.com/foaf/0.1/homepage https://www.key-project.org/ +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://en.wikipedia.org/wiki/KeY +
http://xmlns.com/foaf/0.1/name KeY
owl:sameAs http://rdf.freebase.com/ns/m.02wbmkm + , http://www.wikidata.org/entity/Q6382043 + , http://dbpedia.org/resource/KeY + , https://global.dbpedia.org/id/4pViE + , http://fr.dbpedia.org/resource/KeY_%28logiciel%29 +
rdf:type http://umbel.org/umbel/rc/SoftwareObject + , http://www.wikidata.org/entity/Q386724 + , http://schema.org/CreativeWork + , http://dbpedia.org/ontology/Software + , http://www.wikidata.org/entity/Q7397 + , http://dbpedia.org/ontology/Work +
rdfs:comment Le logiciel KeY est un outil de vérificatiLe logiciel KeY est un outil de vérification formelle de programmes Java. Débuté en 1998, le projet KeY est porté par l'Institut de technologie de Karlsruhe, l'Université de technologie de Darmstadt et l'École polytechnique Chalmers. KeY accepte les spécifications écrites à l'aide du Java Modeling Language (JML). à l'aide du Java Modeling Language (JML). , The KeY tool is used in formal verificatioThe KeY tool is used in formal verification of Java programs. It accepts specifications written in the Java Modeling Language to Java source files. These are transformed into theorems of dynamic logic and then compared against program semantics that are likewise defined in terms of dynamic logic. KeY is significantly powerful in that it supports both interactive (i.e. by hand) and fully automated correctness proofs. Failed proof attempts can be used for a more efficient debugging or verification-based testing. There have been several extensions to KeY in order to apply it to the verification of C programs or hybrid systems. KeY is jointly developed by Karlsruhe Institute of Technology, Germany; Technische Universität Darmstadt, Germany; and Chalmers University of Technology in Gothenburg, s University of Technology in Gothenburg,
rdfs:label KeY , KeY (logiciel)
hide properties that link here 
http://dbpedia.org/resource/Key + http://dbpedia.org/ontology/wikiPageDisambiguates
http://dbpedia.org/resource/List_of_tools_for_static_code_analysis + , http://dbpedia.org/resource/Timsort + , http://dbpedia.org/resource/Automated_theorem_proving + , http://dbpedia.org/resource/Key + , http://dbpedia.org/resource/KeY + , http://dbpedia.org/resource/Hoare_logic + , http://dbpedia.org/resource/Java_Modeling_Language + , http://dbpedia.org/resource/KeY_System + http://dbpedia.org/ontology/wikiPageWikiLink
http://en.wikipedia.org/wiki/KeY + http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/KeY + owl:sameAs
 

 

Enter the name of the page to start semantic browsing from.