Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols

DOI10.1007/978-3-540-78800-3_3zbMath1134.68418OpenAlexW1650107222MaRDI 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

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Network protocols (68M12)

Related Items (10)

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

Uses Software

• HOL/SPIN
• SPIN
• GROOVE

Cites Work

• Unnamed Item
• 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

This page was built for publication: Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols