kayceesrk / cs6225_s25_iitmLinks
Programs and Proofs -- Spring 2025 -- IITM
☆19Updated 4 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:
- Here we collect worldwide courses teaching formal methods☆39Updated 6 years ago
- A foundational framework for modular cryptographic proofs in Coq☆66Updated 3 weeks ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 8 months ago
- Separation Logic Proofs in Lean☆41Updated 5 months ago
- Cerberus C semantics☆69Updated last month
- A Lean library for Computer Science☆116Updated this week
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Updated 6 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆71Updated last year
- Resources for my Homotopy Type Theory course at OPLSS 2023☆12Updated 2 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆111Updated last year
- Modeling and Proving in Computational Type Theory☆115Updated last month
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated 2 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated last month
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆27Updated this week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Most influential papers in programming languages☆57Updated 8 months ago
- Compositional Verification of Composite Byzantine Protocols☆12Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆141Updated 2 weeks ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- ☆33Updated 11 months ago
- ☆40Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated 2 months ago
- OCaml reading group at IIT Madras☆22Updated 2 weeks ago
- SampCert : Verified Differential Privacy☆81Updated 4 months ago
- EGraphs in OCaml☆74Updated last year
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated last year