tudo-aqua / z3-turnkeyLinks
TurnKey artifact for Z3
☆42Updated 3 weeks ago
Alternatives and similar repositories for z3-turnkey
Users that are interested in z3-turnkey are comparing it to the libraries listed below
Sorting:
- JavaSMT - Unified Java API for SMT solvers.☆229Updated last week
- SMTInterpol interpolating SMT solver☆68Updated last week
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- KeY Theorem Prover for Deductive Java Verification☆66Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆84Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆163Updated this week
- The Eldarica model checker☆96Updated this week
- Definition of the Viper intermediate verification language.☆90Updated this week
- Staged Abstract Interpreters☆68Updated 2 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆121Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated last month
- Incremental Program Analysis Framework☆93Updated 4 years ago
- The Ultimate program analysis framework.☆233Updated this week
- Static checker for Java☆88Updated 10 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 4 months ago
- Synthesizing SQL queries from input / output examples☆46Updated 5 years ago
- JaTyC: a typestate checker for Java☆17Updated 2 months ago
- Solver for Constrained Horn Clauses☆46Updated this week
- AE-solver and Skolemizer☆17Updated 11 months ago
- Pluggable type-checking for Java☆23Updated this week
- Kotlin/Java API for various SMT solvers☆34Updated last month
- Generates loop invariants for program verification☆63Updated 4 years ago
- A platform for analysis of Java bytecode☆35Updated last year
- Spoofax runtime☆150Updated 6 months ago
- The Termination Problem Database☆29Updated 3 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 4 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 4 months ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆33Updated this week
- The Next Generation Logic Library☆149Updated 3 months ago