jdmota / java-typestate-checkerLinks
JaTyC: a typestate checker for Java
☆18Updated 4 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:
- TurnKey artifact for Z3☆43Updated 2 months ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- ☆52Updated this week
- GAPT: General Architecture for Proof Theory☆106Updated last month
- ☆17Updated 8 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Bolts: Stainless Verified Scala Examples☆28Updated last week
- The PERPL Compiler☆14Updated 2 months ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆86Updated last month
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated 3 weeks ago
- A free, open-source Java library for automata, graphs, and transition systems☆98Updated 3 weeks ago
- Source code & exercises in Arend's documentation☆21Updated 4 years ago
- Pluggable type-checking for Java☆25Updated last week
- Materials for OPLSS 2021☆11Updated 4 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- A fluent API generator☆26Updated last year
- Spoofax runtime☆158Updated 8 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 2 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 months ago
- ✂️ Syntax correction in context-free languages.☆23Updated this week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆48Updated 2 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- Proof assistant based on first-order logic and set theory☆63Updated last month
- PC-miner tool for program chairs☆29Updated 3 weeks ago