{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:03:23Z","timestamp":1762862603752,"version":"3.28.0"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/dsn.2011.5958208","type":"proceedings-article","created":{"date-parts":[[2011,7,21]],"date-time":"2011-07-21T15:17:24Z","timestamp":1311261444000},"page":"73-84","source":"Crossref","is-referenced-by-count":14,"title":["Efficient model checking of fault-tolerant distributed protocols"],"prefix":"10.1109","author":[{"given":"Peter","family":"Bokor","sequence":"first","affiliation":[]},{"given":"Johannes","family":"Kinder","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Serafini","sequence":"additional","affiliation":[]},{"given":"Neeraj","family":"Suri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"ref39"},{"year":"0","key":"ref38"},{"key":"ref33","first-page":"229","article-title":"Crystal Ball: Predicting and Preventing Inconsistencies in Deployed Distributed Systems","author":"yabandeh","year":"2009","journal-title":"NSDI"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1663-7"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","article-title":"The State Explosion Problem","author":"valmari","year":"1998","journal-title":"Petri Nets I Basic Models"},{"key":"ref30","first-page":"466","article-title":"Using Bounded Model Checking to Verify Consensus Algorithms","author":"tsuchiya","year":"2008","journal-title":"Disc"},{"year":"0","key":"ref37"},{"year":"0","key":"ref36"},{"key":"ref35","first-page":"213","article-title":"MODIST: Transparent Model Checking of Unmodified Distributed Systems","author":"yang","year":"2009","journal-title":"NSDI"},{"key":"ref34","first-page":"288","article-title":"Efficient Stateful Dynamic Partial Order Reduction","author":"yang","year":"2008","journal-title":"SPIN"},{"key":"ref10","first-page":"335","article-title":"The Chubby Lock Service for Loosely-Coupled Distributed Systems","author":"burrows","year":"2006","journal-title":"OSDI"},{"year":"0","key":"ref40"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-3-642-04420-5_10","article-title":"A Reduction Theorem for the Verification of Round-Based Distributed Algorithms","author":"chaouch-saad","year":"2009","journal-title":"Reachability Problems"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"ref12"},{"key":"ref13","first-page":"110","article-title":"Dynamic Partial-Order Reduction for Model Checking Software","author":"flanagan","year":"2005","journal-title":"POPL"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59450-7_7"},{"journal-title":"Partial-Order Methods for the Verifcation of Concurrent Systems An Approach to the State-Explosion Problem","year":"1996","author":"godefroid","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_8"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2004","author":"holzmann","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_31"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1596655.1596658"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2010.23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/0471478210"},{"key":"ref27","first-page":"339","article-title":"Automated Systematic Testing of Open Distributed Programs","author":"sen","year":"2006","journal-title":"FASE"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200869"},{"journal-title":"Reliable Distributed Systems Technologies Web Services and Applications","year":"2005","author":"birman","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311889"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11691617_15"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_17"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_8"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/978-3-540-69824-1_3","article-title":"Efficient Model Checking of Networked Applications","author":"artho","year":"2008","journal-title":"Objects, Components, Models and Patterns"},{"key":"ref9","article-title":"Local Partial-Order Reduction","author":"bokor","year":"2010","journal-title":"Tech Report TR-TUD-DEEDS-11–01–2010"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679689700261X"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"ref21","first-page":"18","article-title":"Paxos made simple","volume":"32","author":"lamport","year":"2001","journal-title":"ACM SIGACT News"},{"year":"0","key":"ref42"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12029-9_22"},{"year":"0","key":"ref41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.88"},{"key":"ref26","first-page":"68","article-title":"Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart","author":"reiter","year":"1994","journal-title":"CCS"},{"year":"0","key":"ref43"},{"journal-title":"Programming in Scala","year":"2008","author":"odersky","key":"ref25"}],"event":{"name":"Networks (DSN)","start":{"date-parts":[[2011,6,27]]},"location":"Hong Kong, China","end":{"date-parts":[[2011,6,30]]}},"container-title":["2011 IEEE\/IFIP 41st International Conference on Dependable Systems & Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5949577\/5958196\/05958208.pdf?arnumber=5958208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:27:54Z","timestamp":1497929274000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5958208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/dsn.2011.5958208","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}