KeY (logiciel)

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 29 février 2020 à 21:54 et modifiée en dernier par Eneelk (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

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, (ISBN 354068977X et 9783540689775, 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=167953056 ».