Sayan Mitra

Automating invariant and progress proofs for distributed systems