KeY (logiciel)
From Wikipedia, the free encyclopedia
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).
