Brian Go

Verification of Distributed Systems with Local-Global Predicates

To appear: Formal Aspects of Computing

fac.20100109.pdf, FAC-java.zip, FAC-PVS.zip
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