Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving

Name

MIT-LCS-TR-841.pdf

Size

301 KB

Format

Adobe PDF

Checksum (MD5)

2dd91c9dcc9c4d520fad5882fb503e68

Author(s)

Ne Win, Toh

•

Ernst, Michael D.

Date Issued

May 2002

Series/Report no.

MIT-LCS-TR-841

Persistent DSpace Link

https://hdl.handle.net/1721.1/149943