Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMath1169.68328OpenAlexW2915402656MaRDI QIDQ5479153

Joachim Parrow, Arnold N. Pears, Oskar Wibling

Publication date: 7 July 2006

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

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

zbMATH Keywords

formal verificationmodel checkingmobile ad hoc networksrouting protocolsDSRUPPAALLUNAR

Mathematics Subject Classification ID

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

Related Items (4)

Model checking mobile ad hoc networks ⋮ On Implementable Timed Automata ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Modeling Routing Protocols in Adhoc Networks

Uses Software

• Uppaal

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005