News-Archive

• KeY 1.0 has been released. Download it now!

• KeY-Tutorial: Integrating Object-Oriented Design and Deductive Verification of Software at IFM 2007, Oxford, UK, 3rd July 2007

• 6th International KeY Symposium, June 14th - 16th 2007, Eisenbachtal, Germany

• KeY-Tutorial: Integrating Object-Oriented Design and Deductive Verification of Software at SEFM 2006, Pune, India, 11-15 September 2006

• 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