KeY (logiciel)

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 29 février 2020).

Annexes

Liens externes

  • Portail de l’informatique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.