kayceesrk / cs6225_s25_iitm
Programs and Proofs -- Spring 2025 -- IITM
☆16Updated last week
Alternatives and similar repositories for cs6225_s25_iitm:
Users that are interested in cs6225_s25_iitm are comparing it to the libraries listed below
- Compositional Verification of Composite Byzantine Protocols☆12Updated 8 months ago
- Cerberus C semantics☆61Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆15Updated 8 months ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆44Updated 4 months ago
- Here we collect worldwide courses teaching formal methods☆37Updated 5 years ago
- An overview of property-based testing functionality☆65Updated 2 weeks ago
- ☆47Updated 2 months ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆23Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 2 months ago
- Quantum circuits compiler with staging and continuations☆16Updated 5 months ago
- System for verifying the correctness of generated Copilot programs☆16Updated last month
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆56Updated 5 years ago
- Most influential papers in programming languages☆56Updated 3 months ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆27Updated last month
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 9 months ago
- A deterministic parser with fused lexing☆72Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆24Updated this week
- Python tools for the K Framework☆13Updated last year
- A formally verified bug finder☆14Updated 5 months ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated 2 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆40Updated 4 months ago
- The C4 Concurrent C Fuzzer☆14Updated last year
- The Steel separation logic library for F*☆34Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆102Updated this week
- a simple concurrent/parallel sat solver implementation in rust☆18Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆37Updated last week
- ☆83Updated 3 years ago