Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols

DOI10.1007/978-3-540-78800-3_3zbMath1134.68418MaRDI QIDQ5458318

Oskar Wibling, M. Saxena, Bengt Jonsson

Publication date: 11 April 2008

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_3

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q42: Grammars and rewriting systems

68M12: Network protocols

Related Items

Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols, Well-structured graph transformation systems, Parameterized verification of time-sensitive models of ad hoc network protocols, Modeling and efficient verification of wireless ad hoc networks, The Edge of Graph Transformation — Graphs for Behavioural Specification, Sound and Complete Abstract Graph Transformation, On the Verification of Timed Ad Hoc Networks, Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems, Automatic Verification of Directory-Based Consistency Protocols

Uses Software

• HOL/SPIN
• SPIN
• GROOVE

Cites Work

• Algorithmic analysis of programs with well quasi-ordered domains.
• Verifying programs with unreliable channels
• Formal verification of standards for distance vector routing protocols
• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Tools and Algorithms for the Construction and Analysis of Systems
• Unnamed Item