jdmota / java-typestate-checker
JaTyC: a typestate checker for Java
☆15Updated last week
Related projects ⓘ
Alternatives and complementary repositories for java-typestate-checker
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- (Abstract) Abstract Machine Experiments using Scala☆34Updated 3 years ago
- GAPT: General Architecture for Proof Theory☆94Updated last week
- The Princess Theorem Prover☆22Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- TurnKey artifact for Z3☆34Updated last week
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- ☆31Updated 11 months ago
- A mechanisation of Wasm in Coq☆95Updated 2 weeks ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆43Updated 4 months ago
- TriCera: a model checker for C programs☆18Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆81Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- ☆12Updated last week
- Solver for higher-order functional programs, used by Stainless☆88Updated 2 weeks ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- Dependent Object Types (DOT), bottom up☆83Updated 2 years ago
- The Gillian Platform main repository☆78Updated this week
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year
- Core components for the Scribble Java tools☆56Updated last month
- A Scala library for controlling/interacting with Isabelle☆36Updated 4 months ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- Alternative algorithm for algebraic subtyping.☆149Updated 2 weeks ago
- Definition of the Viper intermediate verification language.☆79Updated this week
- ☆10Updated last week
- An overview of property-based testing functionality☆54Updated 6 months ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Staged Abstract Interpreters☆65Updated last year
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year