readablesystems / cs260r-17
Main repository for Harvard CS260r 2017.
☆9Updated 7 years ago
Alternatives and similar repositories for cs260r-17:
Users that are interested in cs260r-17 are comparing it to the libraries listed below
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- ☆31Updated 2 years ago
- PC-miner tool for program chairs☆27Updated last week
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- MonoSAT - An SMT solver for Monotonic Theories☆111Updated last week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last month
- ☆26Updated last year
- Abstract interpreter for real-world application programs☆32Updated 11 years ago
- A verified polyhedral scheduling validator in Coq.☆20Updated 5 months ago
- ☆13Updated 3 months ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- Solver for Constrained Horn Clauses☆37Updated this week
- ☆47Updated 4 months ago
- Libraries useful for Dafny programs☆43Updated last week
- ☆27Updated this week
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- ☆47Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆159Updated 6 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- A translation validation framework for MLIR☆81Updated last week
- AE-solver and Skolemizer☆16Updated 3 months ago
- ☆54Updated last month
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 6 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆54Updated 11 months ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆42Updated last week
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆30Updated 6 months ago
- Duet: static analysis for unbounded concurrency☆25Updated last week
- Tons of Inductive Problems: The Benchmarks☆26Updated last year