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

Tag: Manigod

18th KeY Symposium 2019

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.

Continue reading “18th KeY Symposium 2019” →
Posted in KeY Symposium, UncategorizedTagged 2019, Manigod, symposium

15th KeY Symposium 2016

The 2016 KeY symposium takes place in its 15th iteration. The KeY System is a formal software development tool integrating design, implementation, formal specification, and formal verification of object-oriented software.
Continue reading “15th KeY Symposium 2016” →
Posted in KeY SymposiumTagged 2016, Manigod, symposium

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

KeY