Wikimore

Category:KeY program verification tool

Category:Uses of Wikidata Infobox

KeY; KeY; KeY; KeY; KeY; KeY; KeY; KeY; KeY; KeY; KeY; KeY; KeY; KeY; formal verification tool

Category:Free software under the GPLCategory:Free software by nameCategory:Free software programmed in Java

KeY 

formal verification tool  image   logo image
Upload media
Wikipedia
Instance of	programming tool
Copyright license	GNU General Public License, version 2.0
Has use	formal verification
Developer	Karlsruhe Institute of Technology
official website
Authority file  Q6382043 Reasonator Scholia Wikidocumentaries PetScan statistics WikiMap Locator tool KML file Search depicted

Category:Free mathematics software Category:Formal methods Category:Java (programming language)

Pages in category "Category:KeY program verification tool"

• File:Dynamic logic proof.png
• File:KeY logo.svg
• File:Key-tool.jpg
• File:Keylogo.gif

This content is licensed under the Creative Commons Attribution-Share Alike 4.0.

Brought to you by Wikimore, a Private.coffee project