jdmota / java-typestate-checkerLinks
JaTyC: a typestate checker for Java
☆17Updated 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:
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week
- An overview of property-based testing functionality☆67Updated 3 weeks ago
- GAPT: General Architecture for Proof Theory☆100Updated 2 weeks ago
- TurnKey artifact for Z3☆38Updated 2 weeks ago
- ☆38Updated 2 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- (Abstract) Abstract Machine Experiments using Scala☆34Updated 4 years ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- The Termination Problem Database☆30Updated 2 weeks ago
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- Staged Abstract Interpreters☆66Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- SMTInterpol interpolating SMT solver☆66Updated 2 weeks ago
- Collection of Automated Reasoners☆30Updated last month
- Pluggable type-checking for Java☆22Updated this week
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- ☆51Updated 4 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Solver for higher-order functional programs, used by Stainless☆91Updated 2 months ago
- ☆36Updated 2 months ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Updated 3 years ago
- The Princess Theorem Prover☆26Updated this week
- Proof assistant based on first-order logic and set theory☆38Updated 8 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 3 months ago
- TriCera: a model checker for C programs☆25Updated last week
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- Solver for Constrained Horn Clauses☆39Updated 2 weeks ago