Le logiciel KeY est un outil de vérification formelle de programmes Java. Débuté en 1998, le projet KeY est porté par l'Institut de technologie de Karlsruhe, l'Université de technologie de Darmstadt et l'École polytechnique Chalmers. KeY accepte les spécifications écrites à l'aide du Java Modeling Language (JML).

Property Value
dbo:abstract
  • Le logiciel KeY est un outil de vérification formelle de programmes Java. Débuté en 1998, le projet KeY est porté par l'Institut de technologie de Karlsruhe, l'Université de technologie de Darmstadt et l'École polytechnique Chalmers. KeY accepte les spécifications écrites à l'aide du Java Modeling Language (JML). (fr)
  • Le logiciel KeY est un outil de vérification formelle de programmes Java. Débuté en 1998, le projet KeY est porté par l'Institut de technologie de Karlsruhe, l'Université de technologie de Darmstadt et l'École polytechnique Chalmers. KeY accepte les spécifications écrites à l'aide du Java Modeling Language (JML). (fr)
dbo:developer
dbo:license
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 11405757 (xsd:integer)
dbo:wikiPageLength
  • 1257 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 184986396 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Le logiciel KeY est un outil de vérification formelle de programmes Java. Débuté en 1998, le projet KeY est porté par l'Institut de technologie de Karlsruhe, l'Université de technologie de Darmstadt et l'École polytechnique Chalmers. KeY accepte les spécifications écrites à l'aide du Java Modeling Language (JML). (fr)
  • Le logiciel KeY est un outil de vérification formelle de programmes Java. Débuté en 1998, le projet KeY est porté par l'Institut de technologie de Karlsruhe, l'Université de technologie de Darmstadt et l'École polytechnique Chalmers. KeY accepte les spécifications écrites à l'aide du Java Modeling Language (JML). (fr)
rdfs:label
  • KeY (en)
  • KeY (logiciel) (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of