sree314 / simple-abstract-interpreter
A Simple Abstract Interpreter, built for teaching purposes
☆17Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for simple-abstract-interpreter
- Public-facing course info for program analysis materials.☆37Updated this week
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 8 years ago
- Staged Abstract Interpreters☆65Updated last year
- AE-solver and Skolemizer☆18Updated 11 months ago
- A framework for testing compilers' type checkers☆50Updated 3 months ago
- An awesome list of e-graph resources☆94Updated 2 weeks ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆14Updated 2 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Solver for Constrained Horn Clauses☆34Updated this week
- Libraries useful for Dafny programs☆43Updated last week
- Cerberus C semantics☆53Updated this week
- ☆15Updated last year
- Cyclic theorem prover for equalitional reasoning using egraphs☆24Updated last year
- Collection of Distributed Protocol Verification Problems☆12Updated 6 months ago
- FPGA synthesis tool powered by program synthesis☆38Updated last month
- A formally verified bug finder☆14Updated last year
- A SyGuS Solver☆22Updated 2 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- A minimal development of SSA theory☆88Updated this week
- Program Synthesis☆13Updated 3 years ago
- IC3PO: IC3 for Proving Protocol Properties☆25Updated last month
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 11 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆79Updated last week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆52Updated 2 weeks ago
- ☆36Updated 3 months ago