Parameterized Verification of Ad Hoc Networks

DOI10.1007/978-3-642-15375-4_22zbMath1287.68106OpenAlexW1514415753MaRDI QIDQ3584939

Gianluigi Zavattaro, Arnaud Sangnier, Giorgio Delzanno

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_22

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Related Items

Liveness of Parameterized Timed Networks, On the Verification of Timed Ad Hoc Networks, Model Checking Parameterized Systems, Unnamed Item, Liveness in broadcast networks, Parameterized verification of time-sensitive models of ad hoc network protocols, Coefficient synthesis for threshold automata, Parameterized analysis of reconfigurable broadcast networks, Unnamed Item, Multiset rewriting for the verification of depth-bounded processes with name binding, Unnamed Item, Parameterized verification of coverability in infinite state broadcast networks, Well-structured graph transformation systems, Parameterized verification of monotone information systems, Verification of Parameterized Communicating Automata via Split-Width, Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker