Skip to content
@KeYProject

KeY Project

README.md

KeY Project

The KeY project provides a Deductive Java Program Verifier. This verifier is an interactive theorem prover designed for the verification of Java programs. You can find more information on KeY on our website and in the documentation.

The current version is 2.12.2, licensed under GPL v2.

Pinned

  1. key key Public

    KeY Theorem Prover for Deductive Java Verification

    Java 38 22

  2. key-docs key-docs Public

    Documentation for the KeY Theorem Prover

    TeX 2 3

  3. awesome-key awesome-key Public

    A curated list of tools and tutorials for the KeY Theorem Prover

  4. verification-project-template verification-project-template Public template

    A template for larger verification projects with KeY

    Python 1

  5. key-java-example key-java-example Public template

    Example project for program verification on the KeY platform

    Java 1 1

  6. symbex-java-example symbex-java-example Public template

    Example to use the KeY Theorem Prover for Symbolic Execution

    Java

Repositories

Showing 10 of 20 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…