Building a “Simple” Distributed System – Formal Verification
jack-vanlightly.com