A Framework for Implementing and Formally Verifying Distributed Systems [pdf]homes.cs.washington.edu15 pointsgkuan11 years ago