Aller au contenu

KeY (logiciel)

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 27 juillet 2021 à 00:07 et modifiée en dernier par Mi Ga (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Page d’aide sur l’homonymie

Pour les articles homonymes, voir Key.

Cet article est une ébauche concernant un logiciel et l’informatique théorique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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

Notes et références

  1. ↑ (en) Bernhard Beckert, Reiner Hähnle et Peter H. Schmitt, Verification of Object-oriented Software : The KeY Approach, Springer-Verlag, , 658 p. (ISBN 978-3-540-68977-5 et 3-540-68977-X, lire en ligne)
  2. ↑ (en) « KeY Project: Integrated Deductive Software Design », sur ira.uka.de, (consulté le ).

Annexes

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=KeY_(logiciel)&oldid=184986396 ».