tpchina / tpchina.github.ioLinks
☆20Updated last month
Alternatives and similar repositories for tpchina.github.io
Users that are interested in tpchina.github.io are comparing it to the libraries listed below
Sorting:
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- AE-solver and Skolemizer☆17Updated last year
- A SyGuS Solver☆29Updated 8 months ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated last week
- Most influential papers in programming languages☆58Updated 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
- Solver for Constrained Horn Clauses☆50Updated last week
- The Eldarica model checker☆100Updated 2 weeks ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- A formalization of the textbook Elements of Set Theory☆60Updated 4 years ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Tons of Inductive Problems: The Benchmarks☆27Updated 2 years ago
- PL conference deadline countdowns☆65Updated last week
- SymDiff-Differential-Program-Verifier☆38Updated 5 months ago
- ☆14Updated 2 weeks ago
- A verified polyhedral scheduling validator in Coq.☆23Updated last year
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆42Updated 2 years ago
- 十分钟魔法练习 in OCaml☆36Updated 3 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- Mechanized baselines for various type system features☆18Updated 2 months ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Updated 7 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆163Updated this week
- ☆15Updated 5 years ago
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- TriCera: a model checker for C programs☆26Updated this week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Libraries useful for Dafny programs☆48Updated 5 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 4 years ago
- Program Synthesis☆15Updated 4 years ago