McCaffrey (@caitie) •Article: List of methods that prove properties about a system. •Systems get a gold star. •Very hard to get! (Expensive and/or slow)
http://cs.brown.edu/~mph/HerlihyR96/sv.pdf • The Topology of Distributed Adversaries https:// link.springer.com/article/10.1007/s00446-013-0189-9 • The Topological Structure of Asynchronous Computability http://cs.brown.edu/~mph/HerlihyS99/p858-herlihy.pdf • The Verification of a Distributed System http:// queue.acm.org/detail.cfm?id=2889274