KeYProject / key
KeY Theorem Prover for Deductive Java Verification
☆48Updated this week
Related projects ⓘ
Alternatives and complementary repositories for key
- Static checker for Java☆84Updated 11 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- The Eldarica model checker☆80Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- TurnKey artifact for Z3☆34Updated last week
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last week
- ☆51Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- The official repo of Doop, the declarative pointer analysis framework.☆164Updated this week
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- A framework for testing compilers' type checkers☆50Updated 3 months ago
- TriCera: a model checker for C programs☆18Updated last week
- Solver for Constrained Horn Clauses☆34Updated this week
- The Ultimate program analysis framework.☆199Updated this week
- An SMT Solver for string constraints☆34Updated this week
- A program slicer for Java, based on the system dependence graph (SDG).☆58Updated last year
- Deductive verification infrastructure for probabilistic programs☆15Updated this week
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆145Updated 3 months ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆52Updated 3 weeks ago
- A framework for testing compilers' type checkers☆17Updated this week
- Java bindings for LLVM libraries☆8Updated 3 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 6 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- A regular expression to SMT-LIB constraint translator☆10Updated 6 years ago