HOL/SPIN
From MaRDI portal
Cited in
(33)- A process calculus for mobile ad hoc networks
- Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study
- A calculus of trustworthy ad hoc networks
- Verification of mobile ad hoc networks: an algebraic approach
- Developing topology discovery in Event-B
- A process algebra for wireless mesh networks
- A framework for security analysis of mobile wireless networks
- Developing Topology Discovery in Event-B
- A program logic for verifying secure routing protocols
- Model checking mobile ad hoc networks
- ProVerif
- Rebeca
- Succinct
- QualNet
- RapidNet
- MMC
- SANDLog
- VCGen
- Timed Rebeca
- ACTLW
- AODV
- wRebeca
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
- Static analysis of topology-dependent broadcast networks
- Incremental Proof of the Producer/Consumer Property for the PCI Protocol
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Modelling and verifying the AODV routing protocol
- Formal verification of standards for distance vector routing protocols
- Modeling Routing Protocols in Adhoc Networks
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
- Modeling and efficient verification of wireless ad hoc networks
- A timed process algebra for wireless networks with an application in routing (extended abstract)
This page was built for software: HOL/SPIN
