Matches in DBpedia 2014 for { <http://dbpedia.org/resource/KeY> ?p ?o. }
Showing items 1 to 62 of
62
with 100 items per page.
- KeY abstract "The KeY tool is used in formal verification of Java programs. It accepts both specifications written in JML or OCL to Java source files. These are transformed into theorems of dynamic logic and then compared against program semantics which 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. It can be integrated into CASE tools to extract specifications. 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%C3%A4t_Darmstadt.
- KeY genre Formal_verification.
- KeY latestPreviewDate "2014-04-29".
- KeY latestPreviewVersion "2.1.6583".
- KeY latestReleaseDate "2014-04-29".
- KeY latestReleaseVersion "2.2.0".
- KeY license GNU_General_Public_License.
- KeY programmingLanguage Java_(programming_language).
- KeY status "Active".
- KeY thumbnail KeY_logo.svg?width=300.
- KeY wikiPageExternalLink vstte05.pdf.
- KeY wikiPageExternalLink KeYmaera.html.
- KeY wikiPageExternalLink dL.html.
- 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 wikiPageRevisionID "606359349".
- 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 hasPhotoCollection KeY.
- KeY language "English".
- KeY latestPreviewDate "2014-04-29".
- KeY latestPreviewVersion "2.1".
- KeY latestReleaseDate "2014-04-29".
- KeY latestReleaseVersion "2.2".
- 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 year "2001".
- KeY subject Category:Formal_methods_tools.
- KeY subject Category:Free_theorem_provers.
- KeY subject Category:Proof_assistants.
- KeY subject Category:Theorem_proving_software_systems.
- KeY type Software.
- KeY type Work.
- KeY type CreativeWork.
- KeY type SoftwareObject.
- KeY type InformationEntity.
- KeY comment "The KeY tool is used in formal verification of Java programs. It accepts both specifications written in JML or OCL to Java source files. These are transformed into theorems of dynamic logic and then compared against program semantics which 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.".
- KeY label "KeY".
- KeY sameAs m.02wbmkm.
- KeY sameAs Q6382043.
- KeY sameAs Q6382043.
- KeY wasDerivedFrom KeY?oldid=606359349.
- KeY depiction KeY_logo.svg.
- KeY homepage www.key-project.org.
- KeY isPrimaryTopicOf KeY.
- KeY name "KeY".