lu-cs-sde / codeproberLinks
Tool implementing Property Probes
☆18Updated last month
Alternatives and similar repositories for codeprober
Users that are interested in codeprober are comparing it to the libraries listed below
Sorting:
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- A regular expression to SMT-LIB constraint translator☆11Updated 6 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 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
- Tool Support for Correctness-by-Construction☆28Updated last month
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆80Updated last week
- Solver for Constrained Horn Clauses☆39Updated last week
- Incremental Program Analysis Framework☆90Updated 4 years ago
- Reference compiler for c0☆36Updated last week
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- Datalog with support for SMT queries and first-order functional programming☆157Updated 7 months ago
- The PERPL Compiler☆13Updated last month
- Mystery Languages☆38Updated last year
- ☆34Updated 4 years ago
- Modeling and Proving in Computational Type Theory☆98Updated this week
- Personal research notes☆16Updated 7 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Definition of the Viper intermediate verification language.☆86Updated 2 weeks ago
- Benchmark problems for different models of automata, transducers, and related logics☆29Updated 8 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated last week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆60Updated 3 weeks ago
- Libraries useful for Dafny programs☆44Updated 3 weeks ago
- Datatypes as quotients of polynomial functors☆35Updated 5 years ago
- Collapsing Towers of Interpreters☆91Updated last year
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- ☆18Updated last year
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago