jdmota / java-typestate-checkerLinks
JaTyC: a typestate checker for Java
☆19Updated 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 3 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 6 months ago
- Pluggable type-checking for Java☆27Updated this week
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- SMTInterpol interpolating SMT solver☆69Updated last week
- GAPT: General Architecture for Proof Theory☆107Updated last month
- ✂️ Syntax correction in context-free languages.☆23Updated this week
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- JVM Abstracting Abstract Machine☆25Updated 7 years ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated this week
- A model checker for relational first-order temporal specifications☆29Updated 4 years ago
- The Termination Problem Database☆29Updated 5 months ago
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆52Updated last week
- (Abstract) Abstract Machine Experiments using Scala☆36Updated 5 years ago
- Kodkod solver for relational logic☆82Updated 2 years ago
- Solver for higher-order functional programs, used by Stainless☆93Updated 2 weeks ago
- JavaSMT - Unified Java API for SMT solvers.☆230Updated last week
- Spoofax runtime☆160Updated 9 months ago
- ☆17Updated 9 months ago
- The PERPL Compiler☆14Updated 3 months ago
- A Scala library for controlling/interacting with Isabelle☆40Updated this week
- Learning Framework for Logic Calculi☆16Updated last week
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆88Updated last month
- Scala library for parsing and printing the SMT-LIB format☆46Updated 3 years ago
- A fluent API generator☆26Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 months ago
- LL(1) parser combinators in Scala☆61Updated 4 months ago