lu-cs-sde / codeproberLinks
Tool implementing Property Probes
☆22Updated this week
Alternatives and similar repositories for codeprober
Users that are interested in codeprober are comparing it to the libraries listed below
Sorting:
- ☆21Updated 9 months ago
- ☆14Updated 2 years ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- The People's Verification System☆168Updated 2 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 6 months ago
- JaTyC: a typestate checker for Java☆19Updated 5 months ago
- A Tool for Intersecting Context-Free Grammars☆10Updated 8 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated 2 years ago
- Language based on Rewriting Logic☆158Updated last week
- ☆17Updated 9 months ago
- Tool Support for Correctness-by-Construction☆30Updated 2 weeks ago
- ☆40Updated 6 years ago
- Spoofax runtime☆160Updated 9 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- SMTInterpol interpolating SMT solver☆69Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 4 months ago
- ☆10Updated 7 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- The PERPL Compiler☆14Updated 3 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆34Updated last week
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Some papers on "Lambda Calculus"☆33Updated 3 months ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last week
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago