KeYProject

KeYProject/key

KeY Theorem Prover for Deductive Java Verification

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 12 days 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 8 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