KeY (software)
Este artigo é um esboço sobre software e ciência da computação teórica .
Você pode compartilhar seu conhecimento, melhorando-o ( como? ) De acordo com as recomendações dos projetos correspondentes .
O software KeY é uma ferramenta de verificação formal para programas Java . Começado em1998, o projeto KeY é realizado pelo Instituto de Tecnologia de Karlsruhe , pela Universidade de Tecnologia de Darmstadt e pelo Politécnico de Chalmers . O KeY aceita especificações escritas em Java Modeling Language (JML).
Notas e referências
- (em) Bernhard Beckert , Reiner Hähnle e Peter H. Schmitt , Verification of Object-oriented Software: The KeY Approach , Springer-Verlag ,2007, 658 p. ( ISBN 978-3-540-68977-5 e 3-540-68977-X , leia online )
- (em) " Projeto KeY: Projeto de software dedutivo integrado " , em ira.uka.de ,27 de fevereiro de 2017(acessado em 29 de fevereiro de 2020 ) .