Blanket
About
Posts
Tags
Jepsen
Jepsen: A framework for distributed systems verification, with fault injection