Building a “Simple” Distributed System – Formal Verificationjack-vanlightly.com1 pointmncaudill3 years ago