From fed4bcad0e06d5618d0ea26f9194862e33014c72 Mon Sep 17 00:00:00 2001 From: Abhishek L Date: Mon, 12 Mar 2018 23:18:28 +0100 Subject: [PATCH] Minor cleanup in verification section --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index e65ac1d..e4b809b 100644 --- a/README.md +++ b/README.md @@ -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/) - [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 + @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) ## Courses