Automatized Verification of Ad Hoc Routing Protocols
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Topology Dissemination Based on Reverse-Path Forwarding (TBRPF)2004
- Static Analysis versus Software Model Checking for Bug FindingLecture Notes in Computer Science, 2004
- Optimized Link State Routing Protocol (OLSR)2003
- Efficient verification of real-time systems: compact data structure and state-space reductionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network ProtocolLecture Notes in Computer Science, 2002
- Distributed LTL model-checking in SPINLecture Notes in Computer Science, 2001
- Distributing Timed Model Checking — How the Search Order MattersLecture Notes in Computer Science, 2000
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- An Improvement in Formal VerificationPublished by Springer Science and Business Media LLC ,1995
- Routing in Ad Hoc Networks of Mobile HostsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994