Brian Go

Verification of Distributed Systems: From Specification to Implementation

Under review: Formal Aspects of Computing

facs2009.pdf, facs2009.v2.pdf
Towards Verified Distributed Software Through Refinement of Formal Archetypes

Second IFIP Working Conference on Verified Software: Theories, Tools and Experiments Workshop on Experiments

vstte.pdf, cgmw-refinement.pdf