Parameterized verification of ad hoc networks

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

Volumn 6269 LNCS, Issue , 2010, Pages 313-327

  Delzanno, Giorgio ^a   Sangnier, Arnaud ^a   Zavattaro, Gianluigi ^b  

^a UNIVERSITY OF GENOA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ADJACENT NODES; ARBITRARY NUMBER; COMMUNICATION GRAPHS; COMMUNICATION TOPOLOGIES; DECISION PROBLEMS; FINITE STATE AUTOMATA; FORMAL MODEL; INITIAL CONFIGURATION; PARAMETERIZED VERIFICATIONS; PATH TOPOLOGY; REACHABILITY; SELECTIVE BROADCAST; SINGLE-HOP; VERIFICATION PROBLEMS;

AD HOC NETWORKS; COMPUTABILITY AND DECIDABILITY; FINITE AUTOMATA; HUMAN COMPUTER INTERACTION;

TOPOLOGY;

EID: 78249249265     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15375-4_22     Document Type: Conference Paper

References (23)

1. Abdulla, P.A., Čerāns, C., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: LICS 1996, pp. 313-321 (1996)
2. Abdulla, P.A., Čerāns, C., Jonsson, B., Tsay, Y.-K.: Algorithmic analysis of programs with well quasi-ordered domains. Inf. Comput. 160(1-2), 109-127 (2000)
3. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Inf. Comput. 127(2), 91-101 (1996)
4. Delzanno, G., Sangnier, A., Zavattaro, G.: Parameterized verification of Ad Hoc Networks (Extended version). DISI-TR-10-01 (June 2010), http://www.disi.unige.it/index.php?research/techrep
5. Ding, G.: Subgraphs and well quasi ordering. J. of Graph Theory 16(5), 489-502 (1992)
6. Emerson, E.A., Namjoshi, K.S.: On model checking for non-deterministic infinite-state systems. In: LICS 1998, pp. 70-80 (1998)
7. Ene, C., Muntean, T.: A broadcast based calculus for Communicating Systems. In: IPDPS 2001, p. 149 (2001)
8. Esparza, J., Finkel, A., Mayr, R.: On the verification of Broadcast Protocols. In: LICS 1999, pp. 352-359 (1999)
9. Esparza, J., Nielsen, M.: Decidability issues for Petri nets - a survey. Bulletin of the EATCS 52, 245-262 (1994)
10. Esparza, J.: Some applications of Petri Nets to the analysis of parameterised systems. Talk at WISP 2003 (2003)
11. Fehnker, A., van Hoesel, L., Mader, A.: Modelling and verification of the LMAC protocol for wireless sensor networks. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 253-272. Springer, Heidelberg (2007)
12. Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! TCS 256(1-2), 63-92 (2001)
13. Godskesen, J.C.: A calculus for Mobile Ad Hoc Networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 132-150. Springer, Heidelberg (2007)
14. Merro, M.: An observational theory for Mobile Ad Hoc Networks. Inf. Comput. 207(2), 194-208 (2009)
15. Meyer, R.: On boundedness in depth in the pi-calculus. In: IFIP TCS 2008, pp. 477-489 (2008)
16. Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. ENTCS 158, 331-353 (2006)
17. Milner, R.: Communicating and mobile systems: the pi-calculus. Cambridge Univ. Press, Cambridge (1999)
18. Minsky, M.: Computation: finite and infinite machines. Prentice Hall, Englewood Cliffs (1967)
19. Prasad, K.V.S.: A Calculus of Broadcasting Systems. Sci. of Comp. Prog. 25(2-3), 285-327 (1995)
20. Saksena, M., Wibling, O., Jonsson, B.: Graph grammar modeling and verification of Ad Hoc Routing Protocols. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 18-32. Springer, Heidelberg (2008)
21. Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for Mobile Ad Hoc Networks. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 296-314. Springer, Heidelberg (2008)
22. Singh, A., Ramakrishnan, C.R., Smolka, S.A.: Query-Based model checking of Ad Hoc Network Protocols. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 603-661. Springer, Heidelberg (2009)
23. Wies, T., Zufferey, D., Henzinger, T.A.: Forward analysis of depth-bounded processes. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 94-108. Springer, Heidelberg (2010)