Building a “Simple” Distributed System – Formal Verificationjack-vanlightly.com151 pointspron7 years ago