Pinned Repositories
.github
awesome-key
A curated list of tools and tutorials for the KeY Theorem Prover
key
KeY Theorem Prover for Deductive Java Verification
key-docs
Documentation for the KeY Theorem Prover
key-java-example
Example project for program verification on the KeY platform
keyclipse
symbex-java-example
Example to use the KeY Theorem Prover for Symbolic Execution
TimSort
Resources of the TimmSort Case Study
verification-project-template
A template for larger verification projects with KeY
verifythis-ltc-2020
Repository of the KeY-Project for the VerifyThis Long-term Challenge
KeY Project's Repositories
KeYProject/key
KeY Theorem Prover for Deductive Java Verification
KeYProject/key-docs
Documentation for the KeY Theorem Prover
KeYProject/key-java-example
Example project for program verification on the KeY platform
KeYProject/keyclipse
KeYProject/verifythis-ltc-2020
Repository of the KeY-Project for the VerifyThis Long-term Challenge
KeYProject/.github
KeYProject/artiweb
artiweb
KeYProject/awesome-key
A curated list of tools and tutorials for the KeY Theorem Prover
KeYProject/key-javadoc
KeYProject/key-test-docker
Repository providing the docker images for the CI server of the keyproject.org
KeYProject/ProofScriptDebugger
Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org)
KeYProject/symbex-java-example
Example to use the KeY Theorem Prover for Symbolic Execution
KeYProject/TimSort
Resources of the TimmSort Case Study
KeYProject/verification-project-template
A template for larger verification projects with KeY
KeYProject/BitSet-KeY-Artifact
KeYProject/DualPivotQuickSort
KeYProject/fm_tutorial_2024_preps
KeYProject/ips4o-verify
Case Study of the Verification of In-Place Parallel Super Scalar Samplesort Algorithm in Java
KeYProject/rbtree-verification
A Java implementation of red-black trees, verified with KeY.
KeYProject/VerifyingIdentityHashMap
KeY verification case study in which we verify Java's IdentityHashMap with JML and KeY.