Skip to content
KeY The KeY Project
  • Getting Started & Support
  • News
  • Applications
    • Overview
    • Program Verification
    • (Symbolic) Debugging
    • Test Case Generation
    • Security
    • KeY for Your Own Research Projects
    • KeY for Teaching
  • The KeY Book
  • Publications
  • Download
  • About
    • Project
    • People
    • Contact
    • RSS Feed
  • Documentation
  • Internal
    • Login
    • Gitlab

Category: Talks

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.

Continue reading “KeY Tutorial at VerifyThis 2021” →

Posted in Announcement, Talks

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.

Continue reading “KeYNote Series” →

Posted in Announcement, TalksTagged KeY Symposium, Talks

KeY talk at the British Computer Society

Prof. Reiner Hähnle will give an invited talk at the British Computer Society at May 4th, 2017: “The KeY Formal Verification Tool“.

Continue reading “KeY talk at the British Computer Society” →
Posted in Talks

Copyright © 2023 The KeY Project · Privacy Policy / Datenschutz · About us

KeY