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: case-study

Norwegian Governmental Election Software Formally Verified with KeY

In his recently finished Master’s thesis, Henrik Torland Klev verified (parts of) EVA, the main support system for elections in municipalities and counties in Norway, using the KeY prover.

Continue reading “Norwegian Governmental Election Software Formally Verified with KeY” →
Posted in Case Study, Users of KeYTagged case-study, e-voting, norway, verification

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

KeY