lu-cs-sde / codeprober
Tool implementing Property Probes
☆17Updated this week
Alternatives and similar repositories for codeprober:
Users that are interested in codeprober are comparing it to the libraries listed below
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆32Updated last year
- Materials for OPLSS 2021☆11Updated 3 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- Geometry types☆30Updated 4 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆48Updated 2 years ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated 2 weeks ago
- JaTyC: a typestate checker for Java☆17Updated 2 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆125Updated 2 years ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Updated 3 months ago
- ☆13Updated 8 months ago
- KeY Theorem Prover for Deductive Java Verification☆54Updated this week
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Notes and handouts from OPLSS 2019☆34Updated 5 years ago
- TurnKey artifact for Z3☆36Updated last week
- Language based on Rewriting Logic☆109Updated last month
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- A mechanisation of Wasm in Isabelle.☆26Updated this week
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆65Updated last year
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆80Updated 6 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆71Updated this week
- PL conference deadline countdowns☆60Updated 3 weeks ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆15Updated 7 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆35Updated this week
- Mystery Languages☆38Updated last year
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated 2 weeks ago
- Troupe programming language☆21Updated 6 months ago
- Genetic program repair using GHC☆30Updated 11 months ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆100Updated 2 weeks ago