{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:01Z","timestamp":1750306501925,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2016,1,25]],"date-time":"2016-01-25T00:00:00Z","timestamp":1453680000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2016,1,25]]},"abstract":"<jats:p>A practitioner's guide to increasing confidence in system correctness.<\/jats:p>","DOI":"10.1145\/2844108","type":"journal-article","created":{"date-parts":[[2016,1,26]],"date-time":"2016-01-26T13:25:01Z","timestamp":1453814701000},"page":"52-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["The verification of a distributed system"],"prefix":"10.1145","volume":"59","author":[{"given":"Caitie","family":"McCaffrey","sequence":"first","affiliation":[{"name":"Twitter"}]}],"member":"320","published-online":{"date-parts":[[2016,1,25]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2723711"},{"key":"e_1_2_1_2_1","unstructured":"Aniszczyk C. Distributed systems tracing with Zipkin; https:\/\/blog.twitter.com\/2012\/distributed-systems-tracing-with-zipkin.  Aniszczyk C. Distributed systems tracing with Zipkin; https:\/\/blog.twitter.com\/2012\/distributed-systems-tracing-with-zipkin."},{"key":"e_1_2_1_3_1","unstructured":"Aphyr. Jepsen; https:\/\/aphyr.com\/tags\/Jepsen.  Aphyr. Jepsen; https:\/\/aphyr.com\/tags\/Jepsen."},{"key":"e_1_2_1_4_1","unstructured":"Hedlund M. Game day exercises at Stripe: learning from \"kill &minus;9\" 2014; https:\/\/stripe.com\/blog\/game-day-exercises-at-stripe.  Hedlund M. Game day exercises at Stripe: learning from \"kill &minus;9\" 2014; https:\/\/stripe.com\/blog\/game-day-exercises-at-stripe."},{"key":"e_1_2_1_5_1","unstructured":"Izrailevsky Y. and Tseitlin A. The Netflix Simian Army; http:\/\/techblog.netflix.com\/2011\/07\/netflix-simian-army.html.  Izrailevsky Y. and Tseitlin A. The Netflix Simian Army; http:\/\/techblog.netflix.com\/2011\/07\/netflix-simian-army.html."},{"key":"e_1_2_1_6_1","unstructured":"Killian C. Anderson J.W. Jhala R. Vahdat A. Life death and the critical transition: finding liveness bugs in system code 2006; http:\/\/www.macesystems.org\/papers\/MaceMC_TR.pdf.  Killian C. Anderson J.W. Jhala R. Vahdat A. Life death and the critical transition: finding liveness bugs in system code 2006; http:\/\/www.macesystems.org\/papers\/MaceMC_TR.pdf."},{"key":"e_1_2_1_7_1","unstructured":"Lamport L. and Yu Y. TLC---the TLA+ model checker 2011; http:\/\/research.microsoft.com\/en-us\/um\/people\/lamport\/tla\/tlc.html.  Lamport L. and Yu Y. TLC---the TLA+ model checker 2011; http:\/\/research.microsoft.com\/en-us\/um\/people\/lamport\/tla\/tlc.html."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"e_1_2_1_9_1","unstructured":"QuickCheck; https:\/\/hackage.haskell.org\/package\/QuickCheck.  QuickCheck; https:\/\/hackage.haskell.org\/package\/QuickCheck."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2742694.2745385"},{"key":"e_1_2_1_11_1","unstructured":"Spin; http:\/\/spinroot.com\/spin\/whatispin.html.  Spin; http:\/\/spinroot.com\/spin\/whatispin.html."},{"key":"e_1_2_1_12_1","unstructured":"Sigelman B.H. Barroso L.S. Burrows M. Stephenson P. Plakal M. Beaver D. Jaspan S. and Shanbhag C. Dapper a large-scale distributed systems tracing infrastructure 2010; http:\/\/research.google.com\/pubs\/pub36356.html.  Sigelman B.H. Barroso L.S. Burrows M. Stephenson P. Plakal M. Beaver D. Jaspan S. and Shanbhag C. Dapper a large-scale distributed systems tracing infrastructure 2010; http:\/\/research.google.com\/pubs\/pub36356.html."},{"key":"e_1_2_1_13_1","unstructured":"Thompson A. QuickChecking poolboy for fun and profit 2012; http:\/\/basho.com\/posts\/technical\/quickchecking-poolboy-for-fun-and-profit\/.  Thompson A. QuickChecking poolboy for fun and profit 2012; http:\/\/basho.com\/posts\/technical\/quickchecking-poolboy-for-fun-and-profit\/."},{"key":"e_1_2_1_14_1","unstructured":"Yang J. et al. MODIST: transparent model checking of unmodified distributed systems 2009; https:\/\/www.usenix.org\/legacy\/events\/nsdi09\/tech\/full_papers\/yang\/yang_html\/index.html.   Yang J. et al. MODIST: transparent model checking of unmodified distributed systems 2009; https:\/\/www.usenix.org\/legacy\/events\/nsdi09\/tech\/full_papers\/yang\/yang_html\/index.html."},{"key":"e_1_2_1_15_1","unstructured":"Yuan D. et al. Simple testing can prevent most critical failures: an analysis of production failures in distributed data-intensive systems 2014; https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/yuan.   Yuan D. et al. Simple testing can prevent most critical failures: an analysis of production failures in distributed data-intensive systems 2014; https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/yuan."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2844108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2844108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:51Z","timestamp":1750225731000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2844108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,25]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,1,25]]}},"alternative-id":["10.1145\/2844108"],"URL":"https:\/\/doi.org\/10.1145\/2844108","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2016,1,25]]},"assertion":[{"value":"2016-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}