Analyzing BGP Instances in Maude-Reference-Cited by-同舟云学术

Analyzing BGP Instances in Maude

Published:2011 Issue: Volume: Page:334-348
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Systems
language:
Short-container-title:

Author:

Wang Anduo,Talcott Carolyn,Jia Limin,Loo Boon Thau,Scedrov Andre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21461-5_22

Reference19 articles.

1. Alloy, http://alloy.mit.edu/community/

2. Arye, M., Harrison, R., Wang, R.: The Next 10,000 BGP Gadgets: Lightweight Modeling for the Stable Paths Problem. Princeton COS598D course project report

3. Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal verification of standards for distance vector routing protocols. J. ACM 49(4), 538–576 (2002)

4. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude: A High-Performance Logical Framework. Springer, Heidelberg (2007)

5. Denker, G., Meseguer, J., Talcott, C.: Formal specification and analysis of active networks and communication protocols: The maude experience. DARPA Information Survivability Conference and Exposition (2000)

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

1. Bridging the semantic gap between qualitative and quantitative models of distributed systems;Proceedings of the ACM on Programming Languages;2022-10-31

2. Verifying Policy-based Routing at Internet Scale;IEEE INFOCOM 2020 - IEEE Conference on Computer Communications;2020-07

3. Declarative Framework for Specification, Simulation and Analysis of Distributed Applications;IEEE Transactions on Knowledge and Data Engineering;2016-06-01

4. Modeling and analyzing the convergence property of the BGP routing protocol in SPIN;Telecommunication Systems;2014-10-23

5. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10