Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support-Reference-Cited by-同舟云学术

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support

Published:2009 Issue: Volume: Page:147-166
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Bokor Péter,Serafini Marco,Suri Neeraj,Veith Helmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-10373-5_8.pdf

Reference25 articles.

1. Attiya, H., Bar-Noy, A., Dolev, D.: Sharing memory robustly in message-passing systems. J. ACM 42(1), 124–142 (1995)

2. Benzel, T., et al.: Design, deployment, and use of the deter testbed. In: 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. TR-TUD-DEEDS-04-04-2009 (2009), http://www.deeds.informatik.tu-darmstadt.de/peter/FTDP_SR.pdf

4. Bokor, P., Serafini, M., Suri, N., Veith, H.: Brief announcement: Practical symmetry reduction of fault-tolerant distributed protocols. DISC (to appear, 2009)

5. Bošnacki, D., Dams, D., Holenderski, L.: Symmetric SPIN. Journal on Softw. Tools for Techn. Transfer 4(1), 92–106 (2002)

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

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

2. On Efficient Models for Model Checking Message-Passing Distributed Protocols;Formal Techniques for Distributed Systems;2010

3. Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support;Formal Methods and Software Engineering;2009