Graph grammar modeling and verification of ad hoc routing protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4963 LNCS, Issue , 2008, Pages 18-32

  Saksena, Mayank ^a   Wibling, Oskar ^a   Jonsson, Bengt ^a  

^a Dept of Information Technology ^*  (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AD HOC NETWORKS; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; GRAPH THEORY; INTERNET PROTOCOLS; NETWORK ROUTING; ROUTING PROTOCOLS; STANDARDS; WIRELESS TELECOMMUNICATION SYSTEMS;

AD HOC ROUTING PROTOCOLS; ANALYSIS TOOLS; AUTOMATIC VERIFICATION; BACKWARD REACHABILITY; EUROPEAN; GRAPH GRAMMARS; GRAPH TRANSFORMATIONS; HEIDELBERG (CO); HOC NETWORKS; INITIAL CONFIGURATION; INTERNATIONAL CONFERENCES; INTERNET STANDARDS; LOOP-FREEDOM; NUMBER OF NODES; REACHABILITY PROBLEMS; SAFETY PROPERTIES;

NETWORK PROTOCOLS;

EID: 47249096255     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78800-3_3     Document Type: Conference Paper

References (24)

1. Abdulla, P.A., Delzanno, G., Rezine, A., Ben Henda, N.: Regular model checking without transducers (On Efficient Verification of Parameterized Systems). In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 721-736. Springer, Heidelberg (2007)
2. Abdulla, P.A., Čerāns, K., Jonsson, B., Yih-Kuen, T.: Algorithmic analysis of programs with well quasi-ordered domains. Information and Computation 160, 109-127 (2000)
3. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Information and Computation 127(2), 91-101 (1996)
4. Abolhasan, M., Wysocki, T., Dutkiewicz, E.: A review of routing protocols for mobile ad hoc networks. Ad Hoc Networks 2(1), 1-22 (2004)
5. Bauer, J.: Analysis of Communication Topologies by Partner Abstraction. PhD thesis, Universität des Saarlandes (2006)
6. Bauer, J., Wilhelm, R.: Static Analysis of Dynamic Communication Systems. In: 14th International Static Analysis Symposium, Springer, Heidelberg (2007)
7. th Int. Conf. on Software Engineering, pp. 72-81. ACM Press, New York (2006)
8. Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal verification of standards for distance vector routing protocols. Journal of the ACM 49(4), 538-576 (2002)
9. Broch, J., Maltz, D.A., Johnson, D.B., Hu, Y.-C., Jetcheva, J.: A performance comparison of multi-hop wireless ad hoc network routing protocols. In: Proceedings of MobiCom 1998 (October 1998)
10. Chakeres, I.D., Perkins, C.E.: DYMO - Dynamic MANET On-demand Routing Protocol home page (2007), http://www.ianchak.com/dymo/
11. Chakeres, I.D., Perkins, C.E.: Dynamic MANET On-demand (DYMO) Routing. In: Internet draft (July 2007), draft-ietf-manet-dymo-10.txt
12. Das, S., Dill, D.L.: Counter-example based predicate discovery in predicate abstraction. In: Aagaard, M.D., O'Leary, J.W. (eds.) FMCAD 2002. LNCS, vol. 2517, pp. 19-32. Springer, Heidelberg (2002)
13. th IEEE Int. Symp. on Logic in Computer Science (1999)
14. GBT - Graph Backwards Tool project home page. http://www.it.uu.se/ research/group/mobility/adhoc/gbt
15. Holzmann, G.: The model checker SPIN. IEEE Trans. on Software Engineering SE-23(5), 279-295 (1997)
16. Johnson, D.B., Maltz, D.A., Broch, J.: DSR: The dynamic source routing protocol for multi-hop wireless ad hoc networks. In: Ad Hoc Networking, ch. 5, pp. 139-172. Addison-Wesley, Reading (2001)
17. Jonsson, B., Kempe, L.: Verifying safety properties of a class of infinite-state distributed algorithms. In: Wolper, P. (ed.) CAV 1995. LNCS, vol. 939, pp. 42-53. Springer, Heidelberg (1995)
18. Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: SPIN Workshop, pp. 299-305. Springer, Heidelberg (2006)
19. König, B., Kozioura, V.: Counterexample-guided abstraction refinement for the analysis of graph transformation systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 197-211. Springer, Heidelberg (2006)
20. List of ad-hoc routing protocols - Wikipedia, the free encyclopedia, http://en.wikipedia.org/wiki/Ad_hoc_routing_protocol_list
21. Perkins, C.E., Belding-Royer, E.M.: Ad-hoc on-demand distance vector routing. In: Proc. 2nd Workshop on Mobile Computing Systems and Applications (WMCSA 1999), pp. 90-100. IEEE Computer Society Press, Los Alamitos (1999)
22. Saksena, M., Wibling, O., Jonsson, B.: Graph grammar modeling and verification of ad hoc routing protocols. Technical Report 2007-035, Dept. of Information Technology, Uppsala University, Sweden (2007)
23. The official IETF MANET working group web page, http://www.ietf.org/html. charters/manet-charter.html
24. Tschudin, C., Gold, R., Rensfelt, O., Wibling, O.: LUNAR: a lightweight underlay network ad-hoc routing protocol and implementation. In: Proc. Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN) (February 2004)