Repositories list

• key

  Public
  KeY Theorem Prover for Deductive Java Verification

  static-analysiskeysmt-solver+ 1formal-verification

  Java

  •

  Other

  •41•67•336•46•Updated Jan 6, 2026Jan 6, 2026

• setup-smt

  Public
  Github Action for setting up some SMT solvers

  TypeScript

  •

  MIT License

  •0•0•0•0•Updated Jan 2, 2026Jan 2, 2026

• nonull-rac

  Public
  Java

  •0•0•0•0•Updated Jan 2, 2026Jan 2, 2026

• key-docs

  Public

  KeYProject/key-docs’s past year of commit activity
  Documentation for the KeY Theorem Prover

  documentationmkdocskey

  TeX

  •6•3•7•2•Updated Nov 28, 2025Nov 28, 2025

• ips4o-verify

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

  keycase-study

  Java

  •

  BSD 2-Clause "Simplified" License

  •2•2•0•0•Updated Oct 6, 2025Oct 6, 2025

• tutorial-fm-2024

  Public
  Java

  •

  GNU General Public License v2.0

  •0•2•0•1•Updated Sep 2, 2025Sep 2, 2025

• keyclipse

  Public
  eclipse-pluginkeyformal-verification

  Java

  •

  GNU General Public License v2.0

  •1•3•0•0•Updated Dec 11, 2024Dec 11, 2024

• rbtree-verification

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

  case-study

  Java

  •

  MIT License

  •1•0•0•0•Updated Sep 22, 2024Sep 22, 2024

• key-symposium-2024

  Public
  HTML

  •

  Other

  •0•0•0•0•Updated Jul 31, 2024Jul 31, 2024

• awesome-key

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

  awesomeawesome-list

  1•3•2•0•Updated Jul 2, 2024Jul 2, 2024

• .github

  Public
  1•0•0•0•Updated Jan 25, 2024Jan 25, 2024

• BitSet-KeY-Artifact

  Public
  Java

  •

  GNU General Public License v2.0

  •1•0•0•0•Updated Nov 15, 2023Nov 15, 2023

• verification-project-template

  Public template
  A template for larger verification projects with KeY

  javakey

  Python

  •1•0•0•1•Updated Oct 24, 2023Oct 24, 2023

• key-java-example

  Public template
  Example project for program verification on the KeY platform

  Java

  •

  GNU General Public License v2.0

  •1•1•1•0•Updated Aug 18, 2023Aug 18, 2023

• artiweb

  Public
  artiweb

  0•0•0•0•Updated Jun 25, 2023Jun 25, 2023

• DualPivotQuickSort

  Public
  case-study

  Java

  •0•0•0•0•Updated Jun 13, 2023Jun 13, 2023

• TimSort

  Public
  Resources of the TimmSort Case Study

  case-study

  Java

  •0•0•1•0•Updated Jun 13, 2023Jun 13, 2023

• key-javadoc

  Public
  0•0•0•0•Updated Jan 4, 2023Jan 4, 2023

• key-test-docker

  Public
  Repository providing the docker images for the CI server of the keyproject.org

  Shell

  •0•0•1•0•Updated Nov 28, 2022Nov 28, 2022

• VerifyingIdentityHashMap

  Public
  KeY verification case study in which we verify Java's IdentityHashMap with JML and KeY.

  case-study

  Java

  •1•0•0•0•Updated Mar 25, 2022Mar 25, 2022

• symbex-java-example

  Public template
  Example to use the KeY Theorem Prover for Symbolic Execution

  javakey

  Java

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Jan 26, 2022Jan 26, 2022

• verifythis-ltc-2020

  Public
  Repository of the KeY-Project for the VerifyThis Long-term Challenge

  TeX

  •0•1•0•1•Updated Feb 7, 2021Feb 7, 2021

• ProofScriptDebugger

  Public
  Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org)

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 29, 2019Jul 29, 2019