jdmota / java-typestate-checker
JaTyC: a typestate checker for Java
☆17Updated 2 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
- The VerCors verification toolset for verifying parallel and concurrent software☆73Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated 3 weeks ago
- TurnKey artifact for Z3☆36Updated last week
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- SMTInterpol interpolating SMT solver☆66Updated last week
- The Princess Theorem Prover☆26Updated 3 weeks ago
- Core components for the Scribble Java tools☆56Updated 6 months ago
- ☆37Updated last week
- (Abstract) Abstract Machine Experiments using Scala☆34Updated 4 years ago
- GAPT: General Architecture for Proof Theory☆98Updated 2 weeks ago
- Spoofax runtime☆142Updated 2 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆147Updated last year
- Bolts: Stainless Verified Scala Examples☆21Updated last month
- Alloy with browser-based visualizations☆29Updated 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 …☆49Updated 2 years ago
- Definition of the Viper intermediate verification language.☆85Updated 2 weeks ago
- Type checking and logical inference for JetBrains MPS☆32Updated 2 weeks ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- PC-miner tool for program chairs☆27Updated last month
- Solver for higher-order functional programs, used by Stainless☆90Updated this week
- The Termination Problem Database☆29Updated 3 months ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- PL conference deadline countdowns☆60Updated 3 weeks ago
- A mechanisation of Wasm in Isabelle.☆26Updated this week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆125Updated 2 years ago
- ☆16Updated this week
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- ☆46Updated last month
- ☆12Updated 2 months ago
- Materials for OPLSS 2021☆11Updated 3 years ago