jdmota / java-typestate-checkerLinks
JaTyC: a typestate checker for Java
☆17Updated 6 months ago
Alternatives and similar repositories for java-typestate-checker
Users that are interested in java-typestate-checker are comparing it to the libraries listed below
Sorting:
- ☆44Updated last month
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated last week
- TurnKey artifact for Z3☆39Updated this week
- SMTInterpol interpolating SMT solver☆68Updated 3 weeks ago
- The Termination Problem Database☆30Updated last week
- The PERPL Compiler☆13Updated 4 months ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- ☆17Updated 4 months ago
- ✂️ Syntax correction in context-free languages.☆23Updated 3 weeks ago
- A model checker for relational first-order temporal specifications☆27Updated 4 years ago
- GAPT: General Architecture for Proof Theory☆101Updated last week
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- Proof assistant based on first-order logic and set theory☆62Updated 3 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated last month
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- ☆53Updated last week
- Materials for OPLSS 2021☆11Updated 4 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- AE-solver and Skolemizer☆17Updated 8 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Spoofax runtime☆147Updated 4 months ago
- Pluggable type-checking for Java☆23Updated last week
- (Abstract) Abstract Machine Experiments using Scala☆35Updated 4 years ago
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- SymDiff-Differential-Program-Verifier☆37Updated last week
- Bolts: Stainless Verified Scala Examples☆26Updated last month
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago