mit-frap / spring22Links
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
☆20Updated 3 years ago
Alternatives and similar repositories for spring22
Users that are interested in spring22 are comparing it to the libraries listed below
Sorting:
- ☆52Updated 7 months ago
- ☆27Updated last year
- A minimal development of SSA theory☆148Updated this week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Most influential papers in programming languages☆57Updated 5 months ago
- Deductive verification infrastructure for probabilistic programs☆19Updated last month
- Term project for TaPL. A mini coq-like proof assistant.☆17Updated 7 years ago
- Definition of the Viper intermediate verification language.☆87Updated this week
- An awesome list of e-graph resources☆188Updated 3 weeks ago
- Separation Logic Proofs in Lean☆36Updated 3 months ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Libraries useful for Dafny programs☆45Updated 2 months ago
- Program Synthesis☆15Updated 4 years ago
- A SyGuS Solver☆28Updated last month
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 3 weeks ago
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated 7 months ago
- Communication between Coq and SAT/SMT solvers☆161Updated 9 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 5 months ago
- Modeling and Proving in Computational Type Theory☆101Updated this week
- Collection of resources for research concerning Machine Learning and Formal Methods.☆88Updated 3 years ago
- A translation validation framework for MLIR☆87Updated 3 months ago
- PL conference deadline countdowns☆60Updated 3 weeks ago
- ☆13Updated 11 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 2 weeks ago
- TriCera: a model checker for C programs☆25Updated 2 weeks ago
- Solver for Constrained Horn Clauses☆39Updated last week
- A foundational framework for modular cryptographic proofs in Coq☆65Updated this week
- ☆233Updated 11 months ago