kayceesrk / cs6225_s25_iitmLinks
Programs and Proofs -- Spring 2025 -- IITM
☆20Updated 8 months ago
Alternatives and similar repositories for cs6225_s25_iitm
Users that are interested in cs6225_s25_iitm are comparing it to the libraries listed below
Sorting:
- Armv8 Native Code Symbolic Simulator in Lean☆96Updated 2 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Updated 6 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆47Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- Here we collect worldwide courses teaching formal methods☆42Updated 6 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆69Updated last year
- Most influential papers in programming languages☆58Updated last year
- Separation Logic Proofs in Lean☆45Updated 10 months ago
- Compositional Verification of Composite Byzantine Protocols☆13Updated last year
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Updated 2 years ago
- The Lean Computer Science Library (CSLib)☆255Updated this week
- Cerberus C semantics☆80Updated last week
- A framework for smart contract verification in Coq☆124Updated this week
- A minimal development of SSA theory☆205Updated last week
- ☆67Updated 4 months ago
- Modeling and Proving in Computational Type Theory☆120Updated 5 months ago
- ☆127Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆126Updated this week
- A verifier for automated and interactive proofs about transition systems.☆179Updated 2 weeks ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆67Updated 10 months ago
- Readings on computational logic, interactive theorem proving and functional programming.☆85Updated last week
- ☆34Updated last year
- Formalization of C++ for verification purposes.☆89Updated this week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆94Updated 4 years ago
- A foundational framework for modular cryptographic proofs in Coq☆73Updated this week