vignette|Capture d'écran du logiciel KeY Le logiciel KeY est un outil de vérification formelle de programmes Java. 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.. KeY accepte les spécifications écrites à l'aide du Java Modeling Language (JML).
Notes et références
Annexes Liens externes KeY Project
Catégorie:Méthode formelle Catégorie:Java (langage)