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
  • GitHub
  • Documentation
  • Internal
    • Login
    • Gitlab

REFINITY

This side has moved. Please follow

  • this link for the main Refinity page.
  • this link for the application of Refinity in the context of “Safer Parallelization“

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

KeY