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 Loading

  1. key key Public

    KeY Theorem Prover for Deductive Java Verification

    Java 48 27

  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

    2

  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 21 repositories
  • keyclipse Public
    KeYProject/keyclipse’s past year of commit activity
    Java 2 GPL-2.0 1 0 0 Updated Dec 11, 2024
  • key Public

    KeY Theorem Prover for Deductive Java Verification

    KeYProject/key’s past year of commit activity
    Java 48 27 309 (2 issues need help) 32 Updated Dec 9, 2024
  • key-docs Public

    Documentation for the KeY Theorem Prover

    KeYProject/key-docs’s past year of commit activity
    TeX 2 3 5 2 Updated Nov 25, 2024
  • rbtree-verification Public Forked from gewitternacht/rbtree-verification

    A Java implementation of red-black trees, verified with KeY.

    KeYProject/rbtree-verification’s past year of commit activity
    Java 0 MIT 1 0 0 Updated Sep 22, 2024
  • ips4o-verify Public Forked from jwiesler/ips4o-verify

    Case Study of the Verification of In-Place Parallel Super Scalar Samplesort Algorithm in Java

    KeYProject/ips4o-verify’s past year of commit activity
    Java 1 BSD-2-Clause 2 0 0 Updated Sep 21, 2024
  • tutorial-fm-2024 Public
    KeYProject/tutorial-fm-2024’s past year of commit activity
    Java 0 GPL-2.0 0 0 0 Updated Sep 10, 2024
  • key-symposium-2024 Public
    KeYProject/key-symposium-2024’s past year of commit activity
    HTML 0 0 0 0 Updated Jul 31, 2024
  • awesome-key Public

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

    KeYProject/awesome-key’s past year of commit activity
    2 0 2 0 Updated Jul 2, 2024
  • .github Public
    KeYProject/.github’s past year of commit activity
    0 1 0 0 Updated Jan 25, 2024
  • BitSet-KeY-Artifact Public Forked from Andy-Tatman/BitSet-KeY-Artifact
    KeYProject/BitSet-KeY-Artifact’s past year of commit activity
    Java 0 GPL-2.0 1 0 0 Updated Nov 15, 2023
View all repositories

Most used topics

Loading…