On the power of cliques in the parameterized verification of ad hoc networks

DOI10.1007/978-3-642-19805-2_30MaRDI QIDQ3000628zbMATH OpenOpenAlexFDO

Authors Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro

Publication date 19 May 2011

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19805-2_30

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.) (05C69) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Recommendations

• Parameterized verification of ad hoc networks
• Parameterized verification of time-sensitive models of ad hoc network protocols
• On the Verification of Timed Ad Hoc Networks
• On the complexity of parameterized reachability in reconfigurable broadcast networks
• Query-Based Model Checking of Ad Hoc Network Protocols

Cited in

(12)

• scientific article; zbMATH DE number 7447739 (Why is no real title available?)
• Multiset rewriting for the verification of depth-bounded processes with name binding
• Declarative parameterized verification of distributed protocols via the Cubicle model checker
• On the Verification of Timed Ad Hoc Networks
• Verification of parameterized communicating automata via split-width
• Parameterized verification of coverability in infinite state broadcast networks
• Parametric verification of a group membership algorithm
• Parameterized verification of ad hoc networks
• Parameterized Verification of Communicating Automata under Context Bounds
• Liveness in broadcast networks
• Parameterized verification of time-sensitive models of ad hoc network protocols
• Modeling and efficient verification of wireless ad hoc networks

This page was built for publication: On the power of cliques in the parameterized verification of ad hoc networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000628)