Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6382043> ?p ?o }
Showing triples 1 to 88 of
88
with 100 triples per page.
- Q6382043 subject Q8466131.
- Q6382043 subject Q8472290.
- Q6382043 subject Q8797482.
- Q6382043 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.".
- Q6382043 developer Q309988.
- Q6382043 developer Q310695.
- Q6382043 developer Q836805.
- Q6382043 genre Q173326.
- Q6382043 latestPreviewDate "2015-10-06".
- Q6382043 latestPreviewVersion "2.5.1178".
- Q6382043 latestReleaseDate "2015-02-19".
- Q6382043 latestReleaseVersion "2.4.1".
- Q6382043 license Q7603.
- Q6382043 programmingLanguage Q251.
- Q6382043 status "Active".
- Q6382043 thumbnail KeY_logo.svg?width=300.
- Q6382043 wikiPageExternalLink KeYmaera.html.
- Q6382043 wikiPageExternalLink dL.html.
- Q6382043 wikiPageExternalLink stump.pdf.
- Q6382043 wikiPageExternalLink high-assurance-floss.html.
- Q6382043 wikiPageExternalLink www.key-project.org.
- Q6382043 wikiPageExternalLink www.key-project.org.
- Q6382043 wikiPageExternalLink results?SGWID=5-40109-22-173712406-0.
- Q6382043 wikiPageExternalLink 6230tv724um20302.
- Q6382043 wikiPageWikiLink Q1077740.
- Q6382043 wikiPageWikiLink Q1191161.
- Q6382043 wikiPageWikiLink Q11942.
- Q6382043 wikiPageWikiLink Q1375924.
- Q6382043 wikiPageWikiLink Q1399743.
- Q6382043 wikiPageWikiLink Q15777.
- Q6382043 wikiPageWikiLink Q173326.
- Q6382043 wikiPageWikiLink Q1755512.
- Q6382043 wikiPageWikiLink Q176916.
- Q6382043 wikiPageWikiLink Q1771121.
- Q6382043 wikiPageWikiLink Q182790.
- Q6382043 wikiPageWikiLink Q190080.
- Q6382043 wikiPageWikiLink Q221079.
- Q6382043 wikiPageWikiLink Q251.
- Q6382043 wikiPageWikiLink Q2517517.
- Q6382043 wikiPageWikiLink Q2665508.
- Q6382043 wikiPageWikiLink Q291929.
- Q6382043 wikiPageWikiLink Q309988.
- Q6382043 wikiPageWikiLink Q310695.
- Q6382043 wikiPageWikiLink Q33079.
- Q6382043 wikiPageWikiLink Q333385.
- Q6382043 wikiPageWikiLink Q3836453.
- Q6382043 wikiPageWikiLink Q4055684.
- Q6382043 wikiPageWikiLink Q431667.
- Q6382043 wikiPageWikiLink Q484284.
- Q6382043 wikiPageWikiLink Q597758.
- Q6382043 wikiPageWikiLink Q6382043.
- Q6382043 wikiPageWikiLink Q7603.
- Q6382043 wikiPageWikiLink Q7661178.
- Q6382043 wikiPageWikiLink Q7702793.
- Q6382043 wikiPageWikiLink Q8078.
- Q6382043 wikiPageWikiLink Q81294.
- Q6382043 wikiPageWikiLink Q82268.
- Q6382043 wikiPageWikiLink Q836805.
- Q6382043 wikiPageWikiLink Q845566.
- Q6382043 wikiPageWikiLink Q8466131.
- Q6382043 wikiPageWikiLink Q8472290.
- Q6382043 wikiPageWikiLink Q868299.
- Q6382043 wikiPageWikiLink Q8797482.
- Q6382043 wikiPageWikiLink Q907375.
- Q6382043 developer Q309988.
- Q6382043 developer Q310695.
- Q6382043 developer Q836805.
- Q6382043 genre Q173326.
- Q6382043 latestPreviewDate "2015-10-06".
- Q6382043 latestPreviewVersion "2.5".
- Q6382043 latestReleaseDate "2015-02-19".
- Q6382043 latestReleaseVersion "2.4".
- Q6382043 license Q7603.
- Q6382043 name "KeY".
- Q6382043 programmingLanguage Q251.
- Q6382043 status "Active".
- Q6382043 website www.key-project.org.
- Q6382043 type CreativeWork.
- Q6382043 type Software.
- Q6382043 type Work.
- Q6382043 type Thing.
- Q6382043 type Q386724.
- Q6382043 type Q7397.
- Q6382043 comment "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.".
- Q6382043 label "KeY".
- Q6382043 depiction KeY_logo.svg.
- Q6382043 homepage www.key-project.org.
- Q6382043 name "KeY".