On Efficient Models for Model Checking Message-Passing Distributed Protocols-Reference-Cited by-同舟云学术

On Efficient Models for Model Checking Message-Passing Distributed Protocols

Published:2010 Issue: Volume: Page:216-223
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Systems
language:
Short-container-title:

Author:

Bokor Péter,Serafini Marco,Suri Neeraj

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13464-7_17.pdf

Reference14 articles.

1. Attiya, H., Welch, J.: Distributed Computing. John Wiley and Sons, Chichester (2004)

2. Benzel, T., et al.: Design, Deployment, and Use of the Deter Testbed. In: Proc. DETER Community Workshop on Cyber Security Experimentation and Test (2007)

3. Bokor, P., Serafini, M., Suri, N., Veith, H.: Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support. In: Proc. ICFEM, pp. 147–166 (2009)

4. http://www.deeds.informatik.tu-darmstadt.de/peter/MP.pdf

5. Chandra, T.D., et al.: Paxos Made Live: An Engineer. Persp. In: Proc. PODC, pp. 398–407 (2007)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modular Model-Checking of a Byzantine Fault-Tolerant Protocol;Lecture Notes in Computer Science;2017

2. Model Checking Paxos in Spin;Electronic Proceedings in Theoretical Computer Science;2014-08-24

3. Graph- versus Vector-Based Analysis of a Consensus Protocol;Electronic Proceedings in Theoretical Computer Science;2014-08-01

4. Parameterized Verification and Model Checking for Distributed Broadcast Protocols;Graph Transformation;2014

5. Efficient Verification of Distributed Protocols Using Stateful Model Checking;2013 IEEE 32nd International Symposium on Reliable Distributed Systems;2013-09