KeYProject

KeYProject/key

KeY Theorem Prover for Deductive Java Verification

2 good first / help-wanted issues · Java · last activity Aug 15, 2026

87 stars 45 forks 87 watchers Java Other

formal-verification key smt-solver static-analysis

View on GitHub Website

2 Open Issues Need Help Last updated: Aug 15, 2026

Open Issues Need Help

View All on GitHub

JML equivalent for typed seqGet 2 months ago

help wanted JML Parser Feature

87

KeY Theorem Prover for Deductive Java Verification

Java

#formal-verification#key#smt-solver#static-analysis

Recoder must be removed 9 months ago

help wanted JML Parser JavaJMLParser :lady_beetle: Bug Feature JML (Semantics) 🛠 Maintenance Java Parser Java :rocket: Performance Breaks API

87

KeY Theorem Prover for Deductive Java Verification

Java

#formal-verification#key#smt-solver#static-analysis