News-Archive
-
KeY 1.0 has been released. Download it now!
-
6th International KeY Symposium, June 14th - 16th 2007, Eisenbachtal, Germany
-
5th International KeY Symposium, June 6th - 8th 2006, Speyer, Germany
-
KeY version 1.0-pre1 (incl. UML/OCL, JML and DL front-end) available.
-
KeY-Tutorial: Integrating Object-Oriented Design and Deductive Verification of Software at CADE-20, Tallinn, Estonia, 22-27 July, 2005 (Details)
-
KeY version 0.99 with Java Modeling Language (JML) front-end available.
-
4th International KeY Symposium, June 8th - 10th 2005, Lökeberg Konferenshotell (near Göteborg), Sweden
3rd IEEE International Conference on Software Engineering and Formal Methods, 7-9 September, 2005, Koblenz, Germany
International Conference TABLEAUX 2005, Automated Reasoning with Analytic Tableaux and Related Methods, 14-17 September, 2005, Koblenz, Germany
-
3rd International KeY Symposium, 7 - 9 June, 2004, Königswinter/Koblenz, Germany
- January 2004: KeY version 0.9 with 100% JavaCard coverage!
- Workshop
OCL 2.0 - Industry Standard or scientific playground? at UML 2003,
21 October, 2003, San Francisco
- Tutorial on
"Integrating Object-oriented Design and Deductive Verification of Software"
at FME 2003,
9 September, 2003, Pisa, Italy
- 2nd Swedish-German KeY Workshop, 10 - 12 June, 2003, Bad Herrenalb, Germany

