论文信息 - The verification of a distributed system - 字舞流文

The verification of a distributed system

A practitioner's guide to increasing confidence in system correctness.

Caitie McCaffrey | C. McCaffrey

[1] Haoxiang Lin,et al. MODIST: Transparent Model Checking of Unmodified Distributed Systems , 2009, NSDI.

[2] NewcombeChris,et al. How Amazon web services uses formal methods , 2015 .

[3] Donald Beaver,et al. Dapper, a Large-Scale Distributed Systems Tracing Infrastructure , 2010 .

[4] Xi Wang,et al. Verdi: a framework for implementing and formally verifying distributed systems , 2015, PLDI.

[5] Yu Luo,et al. Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems , 2014, OSDI.

[6] Justin Sheehy,et al. There is No Now , 2015, ACM Queue.