Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving

Author(s)
Ne Win, Toh; Ernst, Michael D.
Thumbnail
DownloadMIT-LCS-TR-841.pdf (301.0Kb)
Metadata
Show full item record
Date issued
2002-05
URI
https://hdl.handle.net/1721.1/149943
Series/Report no.
MIT-LCS-TR-841
Collections