Building a “Simple” Distributed System – Formal Verificationjack-vanlightly.com3 pointspanic7 years ago