Repositories list

• key

  Public
  KeY Theorem Prover for Deductive Java Verification

  static-analysiskeysmt-solver+ 1formal-verification

  Java

  •

  Other

  •27•49•309•29•Updated Jan 6, 2025Jan 6, 2025

• keyclipse

  Public
  eclipse-pluginkeyformal-verification

  Java

  •

  GNU General Public License v2.0

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

• key-docs

  Public
  Documentation for the KeY Theorem Prover

  keydocumentationmkdocs

  TeX

  •3•2•5•2•Updated Nov 25, 2024Nov 25, 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

• 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•1•0•0•Updated Sep 21, 2024Sep 21, 2024

• tutorial-fm-2024

  Public
  Java

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Sep 10, 2024Sep 10, 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

  0•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

  keyjava

  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

  keyjava

  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