The KeY core development teams from KIT and TUDa will meet from
Monday, 2nd March to Wednesday, 4th March 2026
to finalize the exchange of the Java parsing framework by a modern framework that supports Java 24.
Author: Richard Bubel
22nd KeY Symposium 2026
The KeY Symposium brings together researchers interested in KeY and related aspects. We will exchange recent achievements, current ideas, discuss the next steps and milestones of the area, as well as future directions in general. Also the latest developments in the KeY tool are presented and discussed.
This year the KeY Symposium takes place from the 5th August to 7th August in Berlin, Germany.
For more information follow this link
KeY Tutorial @ FM 2024
At FM 2024 in Milan, participants had the opportunity to take part in a tutorial about the KeY system. The tutorial was designed to be accessible for newcomers to formal methods but also to provide value for those with some experience in formal methods (but not KeY itself). The tutorial offered a structured introduction to deductive verification using a combinination of conceptual explanation with hands-on exercises.
21st KeY Symposium 2025
The KeY Symposium brings together researchers interested in KeY and related aspects. We will exchange recent achievements, current ideas, discuss the next steps and milestones of the area, as well as future directions in general. Also the latest developments in the KeY tool are presented and discussed.
This year the KeY Symposium takes place from the 5th August to 8th August in Manigod, France.
For more information follow this link
3rd HacKeYthon 2025
The HacKeYthon is a two-day event with the goal of bringing forward the development of the KeY system and to transfer knowledge from experienced developers to newer members and associates of the KeY project.
2nd HacKeYthon 2024
The HacKeYthon is a two-day event with the goal of bringing forward the development of the KeY system and to transfer knowledge from experienced developers to newer members and associates of the KeY project.
Continue reading “2nd HacKeYthon 2024”
CWI-Researchers win Google award using KeY
Hans-Dieter Hiep and Stijn de Gouw received a Google Award on 22nd of June, 2023 for finding an integer overflow bug in the LinkedList implementation of the OpenJDK using the KeY verification system.
We congratulate them to their impressive achievement!
Continue reading “CWI-Researchers win Google award using KeY”
Towards an open development model for KeY
We are happy to announce, that development of KeY is finally public! Our new home is https://github.com/keyproject/ on Github with many repositories, for example,
KeYNote Series
The KeYNote series is a virtual workshop where teams from Germany, the Netherlands, Norway and Sweden (in lexicographic order) take part and present recent work which uses or extends the KeY verification system.
KeY 2.8
After almost 2 years of active development, we present now KeY 2.8 just before the year’s end.
The new KeY version comes with significant improvements on the calculus side, but features also a major overhaul of the user interface.
We thank all contributors for reaching this milestone.
Nice holidays and a happy new year!
The KeY Team