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.
Category: Announcement
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.
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”
KeY 2.12
With a small delay after the 19th KeY Symposium, we are very happy to present the new 2.12 release of KeY.
You can download it from GitHub. Continue reading “KeY 2.12”
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,
KeY Tutorial at VerifyThis 2021
During the VerifyThis competition 2021, KeY was invited to present itself as a Java verification tool.
It is customary for Verify This that for one tool after a brief introduction into the concepts of the tool, the participants are invited to solve a micro challenge – with a little help from present KeY developers.
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.
The new book has arrived!
Just in time for the holiday season, the new book has arrived.
The LNCS volume 12345* “Deductive Software Verification: Future Perspectives” contains a collection of articles – reflections on the occasion of 20 years of KeY.
The new KeY Book has been published
A years long effort comes to a successful conclusion. On December, 20th the new KeY book became available online. Most of the book’s content is new or largely rewritten compared to the first KeY Book.