Formal Techniques for Networked and Distributed Systems – FORTE 2004

DOI10.1007/b100576zbMath1110.68327OpenAlexW2244752996MaRDI QIDQ5464480

Oskar Wibling, Arnold N. Pears, Joachim Parrow

Publication date: 18 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100576

zbMATH Keywords

formal verificationmodel checkingmobile ad hoc networksrouting protocolsSPINUPPAALLUNAR

Mathematics Subject Classification ID

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

Related Items

Model checking mobile ad hoc networks ⋮ A framework for security analysis of mobile wireless networks ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks ⋮ A state-based model of sensor protocols ⋮ Verification of mobile ad hoc networks: an algebraic approach ⋮ Modeling Routing Protocols in Adhoc Networks ⋮ Broadcast Psi-calculi with an Application to Wireless Protocols

Uses Software

• SPIN
• Uppaal