awesome/distributed-systems
1
0
Fork 0
mirror of https://github.com/theanalyst/awesome-distributed-systems.git synced 2025-07-31 21:59:02 -04:00
Code Activity

Minor cleanup in verification section

Browse source
This commit is contained in:
Abhishek L 2018-03-12 23:18:28 +01:00 • committed by GitHub
parent 8457180411
commit fed4bcad0e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -59,8 +59,9 @@ While designing distributed systems are hard enough, testing them is even harder
- [Programming Models for Distributed Computing](http://heather.miller.am/teaching/cs7680/) - [Programming Models for Distributed Computing](http://heather.miller.am/teaching/cs7680/)
- [Logic and Lattices for Distributed Programming](http://db.cs.berkeley.edu/papers/UCB-lattice-tr.pdf) - [Logic and Lattices for Distributed Programming](http://db.cs.berkeley.edu/papers/UCB-lattice-tr.pdf)
### Verification in Distributed System ### Verification of Distributed Systems
- [Jepsen](https://github.com/jepsen-io/jepsen) A framework for distributed systems verification, with fault injection - [Jepsen](https://github.com/jepsen-io/jepsen) A framework for distributed systems verification, with fault injection
@aphyr has featured enough times in this list already, but Jepsen and the blog posts that go with are a quintessntial addition to any distributed systems reading list.
- [Verdi](http://verdi.uwplse.org/) A Framework for Implementing and Formally Verifying Distributed Systems [Paper](http://verdi.uwplse.org/verdi.pdf) - [Verdi](http://verdi.uwplse.org/) A Framework for Implementing and Formally Verifying Distributed Systems [Paper](http://verdi.uwplse.org/verdi.pdf)
## Courses ## Courses