jdmota / java-typestate-checkerLinks
JaTyC: a typestate checker for Java
☆17Updated 2 weeks 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:
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- Pluggable type-checking for Java☆23Updated this week
- TurnKey artifact for Z3☆39Updated this week
- ☆44Updated last month
- ☆17Updated 5 months ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated this week
- Kodkod solver for relational logic☆78Updated 2 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆113Updated this week
- (Abstract) Abstract Machine Experiments using Scala☆36Updated 4 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated 2 months ago
- A platform for analysis of Java bytecode☆33Updated 11 months ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- A fluent API generator☆25Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 3 years ago
- GAPT: General Architecture for Proof Theory☆103Updated last week
- Spoofax runtime☆147Updated 4 months ago
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- An overview of property-based testing functionality☆73Updated 3 months ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- ☆53Updated 2 weeks ago
- ✂️ Syntax correction in context-free languages.☆23Updated this week
- The PERPL Compiler☆13Updated 2 weeks ago
- Scala library for parsing and printing the SMT-LIB format☆45Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 11 months ago
- The Termination Problem Database☆30Updated last month
- Proof assistant based on first-order logic and set theory☆62Updated last week
- JavaSMT - Unified Java API for SMT solvers.☆227Updated last week