mit-pdos / 6.826-2017-labsLinks
☆14Updated 8 years ago
Alternatives and similar repositories for 6.826-2017-labs
Users that are interested in 6.826-2017-labs are comparing it to the libraries listed below
Sorting:
- ☆33Updated 3 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆192Updated 2 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 8 years ago
- Distributed Systems Reading Group☆20Updated 8 years ago
- Implementation of Raft consensus algorithm☆114Updated 11 years ago
- FSCQ is a certified file system written and proven in Coq☆253Updated 3 years ago
- Tests with PlusCal / TLA+☆25Updated 9 years ago
- SQL Testing Framework for the Peloton DBMS☆20Updated 8 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- ☆28Updated 2 months ago
- ☆60Updated 7 years ago
- Transparent Paxos☆45Updated 6 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- Verifying concurrent storage and distributed systems☆215Updated this week
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- Verifying concurrent code with layers and movers☆13Updated 5 years ago
- Fast wait-free algorithms designed for shared memory systems☆46Updated 7 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Updated 7 years ago
- TLA+ and Alloy specs of database isolation☆21Updated 10 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- ☆19Updated 10 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 3 years ago
- 编译原理相关的工作岗位收集☆88Updated 7 years ago
- ☆186Updated 5 years ago
- JOS Lab of MIT 6.828: Operating System Engineering.☆18Updated 8 years ago
- Source for SibylFS model and test tools☆36Updated 5 years ago
- slides of zju-lambda☆14Updated 6 years ago