News-Archive
-
KeY is now part of COST Action IC0701, a European research network on "Formal Verification of Object-Oriented Software".
KeYmaera: A theorem prover for differential dynamic logics (based on KeY) has been released by the AVACS group of Prof. Dr. E.-R. Olderog, University of Oldenburg.
-
7th International KeY Symposium 08, 4th-6th June in Gothenburg, Sweden
-
KeY 1.2.0 has been released. Download it now!
-
Now supporting Java Webstart: Run KeY with just two mouse clicks in one minute - works on any computer with at least Java 1.4.1
-
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