lkuper / CMPS290S-2018-09
A graduate seminar on languages and abstractions for distributed programming
☆19Updated 2 years ago
Alternatives and similar repositories for CMPS290S-2018-09:
Users that are interested in CMPS290S-2018-09 are comparing it to the libraries listed below
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 8 months ago
- Verified hash-based AMQ structures in Coq☆122Updated 5 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆163Updated 3 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Compilation and Verification of Data-Centric Languages☆57Updated 9 months ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- Symbolic formula representation and solver interaction library☆160Updated 2 weeks ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆186Updated last year
- Mostly Automated Synthesis of Correct-by-Construction Programs☆152Updated 3 weeks ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- The TLA⁺ Proof Manager☆73Updated last week
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Mathematical Components (the Book)☆140Updated last year
- Library of the ##dependent distributed research support group☆112Updated 9 months ago
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- Embedded specification language & model checker in Haskell☆174Updated 2 years ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated last year
- Python interpreter for TLA+ specifications☆112Updated 10 months ago
- Command line binaries for the TLA+ language☆169Updated last year
- Notes and handouts from OPLSS 2018☆54Updated 6 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆117Updated this week
- A curated list of TLA+ resources.☆66Updated 5 years ago
- Jupyter kernel for TLA⁺☆119Updated 2 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago