fredfeng / CS162
Programming languages
☆37Updated this week
Alternatives and similar repositories for CS162:
Users that are interested in CS162 are comparing it to the libraries listed below
- Solver for Constrained Horn Clauses☆36Updated this week
- ☆26Updated last year
- PL conference deadline countdowns☆55Updated this week
- A compiler from TIP to llvm bitcode☆68Updated 3 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Here we collect worldwide courses teaching formal methods☆36Updated 5 years ago
- TriCera: a model checker for C programs☆24Updated this week
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆15Updated 7 months ago
- Program Synthesis☆12Updated 3 years ago
- The Eldarica model checker☆83Updated this week
- Program synthesis class taught by Loris D'Antoni☆27Updated 3 months ago
- ☆20Updated 3 weeks ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 7 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆202Updated 2 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Updated 6 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated last year
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆96Updated this week
- ☆44Updated 3 months ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆43Updated 2 months ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 8 years ago
- Public-facing course info for program analysis materials.☆39Updated 3 months ago
- ☆24Updated 5 years ago