Specification and Validation of Link Reversal Routing via Graph Transformations-Reference-Cited by-同舟云学术

Specification and Validation of Link Reversal Routing via Graph Transformations

Published:2013 Issue: Volume: Page:160-177
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Delzanno Giorgio,Traverso Riccardo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39176-7_11

Reference22 articles.

1. Lecture Notes in Computer Science;I. Balaban,2006

2. Bertrand, N., Delzanno, G., König, B., Sangnier, A., Stückrath, J.: On the decidability status of reachability and coverability in graph transformation systems. In: RTA, pp. 101–116 (2012)

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. Delzanno, G., Sangnier, A., Traverso, R., Zavattaro, G.: On the complexity of parameterized reachability in reconfigurable broadcast networks. In: FSTTCS, pp. 289–300 (2012)

5. Lecture Notes in Computer Science;G. Delzanno,2010

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

1. Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model;Electronic Proceedings in Theoretical Computer Science;2015-04-10

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. On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas Position Paper;Procedia Computer Science;2014