Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/KeY> ?p ?o }
- KeY abstract "The 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.".
- KeY developer Chalmers_University_of_Technology.
- KeY developer Karlsruhe_Institute_of_Technology.
- KeY developer Technische_Universität_Darmstadt.
- KeY genre Formal_verification.
- KeY latestPreviewDate "2015-10-06".
- KeY latestPreviewVersion "2.5.1178".
- KeY latestReleaseDate "2015-02-19".
- KeY latestReleaseVersion "2.4.1".
- KeY license GNU_General_Public_License.
- KeY programmingLanguage Java_(programming_language).
- KeY status "Active".
- KeY thumbnail KeY_logo.svg?width=300.
- KeY wikiPageExternalLink KeYmaera.html.
- KeY wikiPageExternalLink dL.html.
- KeY wikiPageExternalLink stump.pdf.
- KeY wikiPageExternalLink high-assurance-floss.html.
- KeY wikiPageExternalLink www.key-project.org.
- KeY wikiPageExternalLink www.key-project.org.
- KeY wikiPageExternalLink results?SGWID=5-40109-22-173712406-0.
- KeY wikiPageExternalLink 6230tv724um20302.
- KeY wikiPageID "12528650".
- KeY wikiPageLength "10909".
- KeY wikiPageOutDegree "60".
- KeY wikiPageRevisionID "689675537".
- KeY wikiPageWikiLink Abstract_state_machines.
- KeY wikiPageWikiLink Automated_theorem_proving.
- KeY wikiPageWikiLink C_(programming_language).
- KeY wikiPageWikiLink Carnegie_Mellon_University.
- KeY wikiPageWikiLink Category:Formal_methods_tools.
- KeY wikiPageWikiLink Category:Free_theorem_provers.
- KeY wikiPageWikiLink Category:Proof_assistants.
- KeY wikiPageWikiLink Chalmers_University_of_Technology.
- KeY wikiPageWikiLink Chimera_(mythology).
- KeY wikiPageWikiLink Control_flow.
- KeY wikiPageWikiLink Debugging.
- KeY wikiPageWikiLink Deductive_reasoning.
- KeY wikiPageWikiLink Duality_(mathematics).
- KeY wikiPageWikiLink Dynamic_logic_(modal_logic).
- KeY wikiPageWikiLink ETH_Zurich.
- KeY wikiPageWikiLink Eclipse_(software).
- KeY wikiPageWikiLink First-order_logic.
- KeY wikiPageWikiLink Formal_verification.
- KeY wikiPageWikiLink GNU_General_Public_License.
- KeY wikiPageWikiLink Hoare_logic.
- KeY wikiPageWikiLink Homophone.
- KeY wikiPageWikiLink Hybrid_system.
- KeY wikiPageWikiLink Java_(programming_language).
- KeY wikiPageWikiLink Java_Modeling_Language.
- KeY wikiPageWikiLink Java_Web_Start.
- KeY wikiPageWikiLink Karlsruhe_Institute_of_Technology.
- KeY wikiPageWikiLink KeY.
- KeY wikiPageWikiLink Kripke_structure_(model_checking).
- KeY wikiPageWikiLink Logic.
- KeY wikiPageWikiLink MISRA_C.
- KeY wikiPageWikiLink Mathematica.
- KeY wikiPageWikiLink Model-based_testing.
- KeY wikiPageWikiLink Predicate_transformer_semantics.
- KeY wikiPageWikiLink Sequent_calculus.
- KeY wikiPageWikiLink Springer_Science+Business_Media.
- KeY wikiPageWikiLink Symbolic_execution.
- KeY wikiPageWikiLink Technische_Universität_Darmstadt.
- KeY wikiPageWikiLink Termination_analysis.
- KeY wikiPageWikiLink Unit_testing.
- KeY wikiPageWikiLink University_of_Oldenburg.
- KeY wikiPageWikiLink File:Dynamic_logic_proof.png.
- KeY wikiPageWikiLink File:KeY_logo.svg.
- KeY wikiPageWikiLink File:Key-tool.jpg.
- KeY wikiPageWikiLinkText "KeY".
- KeY wikiPageWikiLinkText "dynamic logic".
- KeY caption "Screenshot of KeY 1.4".
- KeY developer Chalmers_University_of_Technology.
- KeY developer Karlsruhe_Institute_of_Technology.
- KeY developer Technische_Universität_Darmstadt.
- KeY genre Formal_verification.
- KeY language "English".
- KeY latestPreviewDate "2015-10-06".
- KeY latestPreviewVersion "2.5".
- KeY latestReleaseDate "2015-02-19".
- KeY latestReleaseVersion "2.4".
- KeY license GNU_General_Public_License.
- KeY logo "150".
- KeY name "KeY".
- KeY operatingSystem "Linux, Mac, Windows, Solaris".
- KeY programmingLanguage Java_(programming_language).
- KeY screenshot "250".
- KeY status "Active".
- KeY website www.key-project.org.
- KeY wikiPageUsesTemplate Template:Commons_category.
- KeY wikiPageUsesTemplate Template:Infobox_software.
- KeY wikiPageUsesTemplate Template:Main.
- KeY wikiPageUsesTemplate Template:Release_date.
- KeY year "2001".
- KeY subject Category:Formal_methods_tools.
- KeY subject Category:Free_theorem_provers.
- KeY subject Category:Proof_assistants.
- KeY type Software.
- KeY type Work.
- KeY type Method.
- KeY type Tool.