kayceesrk / cs6225_s25_iitmLinks
Programs and Proofs -- Spring 2025 -- IITM
☆19Updated 7 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☆42Updated 6 years ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Updated 6 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31Updated 2 years ago
- A verifier for automated and interactive proofs about transition systems.☆163Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated last month
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆46Updated 11 months ago
- Most influential papers in programming languages☆57Updated 10 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆94Updated 3 weeks ago
- Compositional Verification of Composite Byzantine Protocols☆13Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Cerberus C semantics☆77Updated 2 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆71Updated last week
- SampCert : Verified Differential Privacy☆84Updated 7 months ago
- Modeling and Proving in Computational Type Theory☆119Updated 4 months ago
- Separation Logic Proofs in Lean☆45Updated 8 months ago
- Formalization of C++ for verification purposes.☆85Updated last week
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Updated 2 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- The Lean Computer Science Library (CSLib)☆184Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated 2 years ago
- ☆29Updated last year
- A framework for smart contract verification in Coq☆124Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆125Updated this week
- ☆64Updated 3 months ago
- A minimal development of SSA theory☆198Updated this week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆101Updated last week
- Coq plugin embedding elpi☆177Updated last week
- Prime numbers for Coq☆42Updated 2 weeks ago
- Definition of the Viper intermediate verification language.☆92Updated last week