LCS Publication Details
Publication Title: Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
Publication Author: Ne Win, Toh
Additional Authors: Michael Ernst
LCS Document Number: MIT-LCS-TR-841
Publication Date: 5-25-2002
LCS Group: Program Analysis
Additional URL:
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.