jdmota / java-typestate-checker
JaTyC: a typestate checker for Java
☆16Updated last month
Alternatives and similar repositories for java-typestate-checker:
Users that are interested in java-typestate-checker are comparing it to the libraries listed below
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆70Updated this week
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- A sample verifier for a toy language built on top of Boogie☆23Updated 2 years ago
- SMTInterpol interpolating SMT solver☆63Updated last month
- ☆10Updated last week
- Kodkod solver for relational logic☆74Updated last year
- Randomized Property-Based Testing Plugin for Coq☆263Updated this week
- An automated deductive program verifier.☆42Updated 2 years ago
- A mechanisation of Wasm in Coq(Rocq)☆101Updated last week
- Dependent Object Types (DOT), bottom up☆85Updated 3 years ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- TurnKey artifact for Z3☆36Updated last week
- Pluggable type-checking for Java☆20Updated this week
- Definition of the Viper intermediate verification language.☆83Updated last week
- Alloy with browser-based visualizations☆29Updated 3 years ago
- SymDiff-Differential-Program-Verifier☆34Updated 3 weeks ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated 3 weeks ago
- GAPT: General Architecture for Proof Theory☆98Updated 2 weeks ago
- Core components for the Scribble Java tools☆56Updated 5 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 11 months ago
- PC-miner tool for program chairs☆27Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆96Updated last week
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆79Updated last month
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- ☆124Updated 2 years ago
- Solver for Constrained Horn Clauses☆37Updated this week
- PL conference deadline countdowns☆57Updated this week
- The Termination Problem Database☆28Updated 2 months ago
- A Verified Compiler for Gallina, Written in Gallina☆140Updated 2 months ago