KeY - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Proof assistant Software Tool for static code analysis
rdfs:label	KeY
owl:sameAs	dbr:KeY
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Lists_of_software http://en.wikipedia.org/wiki/Category:Proof_assistants http://en.wikipedia.org/wiki/DNS_management_software http://en.wikipedia.org/wiki/Groupe_Bull http://en.wikipedia.org/wiki/H2O_(web_server) http://en.wikipedia.org/wiki/Java_Modeling_Language http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis http://en.wikipedia.org/wiki/MSX-DOS http://en.wikipedia.org/wiki/MZ-2500 http://en.wikipedia.org/wiki/PC-MOS/386 http://en.wikipedia.org/wiki/Panos_(operating_system) http://en.wikipedia.org/wiki/SpartaDOS_X http://en.wikipedia.org/wiki/Symbolic_execution http://en.wikipedia.org/wiki/Automated_theorem_proving http://en.wikipedia.org/wiki/ExifTool http://en.wikipedia.org/wiki/OS/2
skos:prefLabel	KeY
skos:altLabel	KEY dynamic logic key
clgo:developer	Chalmers University of Technology Karlsruhe Institute of Technology Technische Universität Darmstadt
clgo:genre	Formal verification
clgo:latestReleaseDate	2020-12-18
clgo:latestReleaseVersion	2.8.0
clgo:license	GNU General Public License
clgo:programmingLanguage	Java (programming language)

About: clgr:KeY