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: 2016

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