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
  • About
    • Project
    • People
    • Contact
    • RSS Feed
  • Downloads
  • Internal
    • Login
    • Gitlab

Category: 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 © 2021 The KeY Project · Privacy Policy / Datenschutz · About us

KeY