KeY (software)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/44px-Max-cut.svg.png)
Tento článek je nástinem týkajícím se
softwaru a
teoretické informatiky .
O své znalosti se můžete podělit vylepšením ( jak? ) Podle doporučení příslušných projektů .
Software KeY je formální ověřovací nástroj pro programy Java . Začal v1998, projekt KeY provádí Technologický institut v Karlsruhe, Technická univerzita v Darmstadtu a Chalmers Polytechnic . KeY přijímá specifikace napsané pomocí Java Modeling Language (JML).
Poznámky a odkazy
-
(in) Bernhard Beckert , Reiner Hähnle a Peter H. Schmitt , Ověření objektově orientovaného softwaru: Přístup KeY , Springer-Verlag ,2007, 658 s. ( ISBN 978-3-540-68977-5 a 3-540-68977-X , číst online )
-
(in) „ Projekt KeY: Integrovaný design dedukčního softwaru “ , na ira.uka.de ,27. února 2017(přístup 29. února 2020 ) .
Dodatky
externí odkazy