HOL/SPIN
From MaRDI portal
Software:15523
swMATH2987MaRDI QIDQ15523FDOQ15523
Author name not available (Why is that?)
Cited In (21)
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
- Incremental Proof of the Producer/Consumer Property for the PCI Protocol
- A Timed Process Algebra for Wireless Networks with an Application in Routing
- Modeling Routing Protocols in Adhoc Networks
- Formal verification of standards for distance vector routing protocols
- Verification of mobile ad hoc networks: an algebraic approach
- A Program Logic for Verifying Secure Routing Protocols
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- A framework for security analysis of mobile wireless networks
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
- A process calculus for mobile ad hoc networks
- Static analysis of topology-dependent broadcast networks
- Modelling and verifying the AODV routing protocol
- A calculus of trustworthy ad hoc networks
- Title not available (Why is that?)
- Developing topology discovery in Event-B
- Modeling and efficient verification of wireless ad hoc networks
- A Process Algebra for Wireless Mesh Networks
- Model checking mobile ad hoc networks
- Developing Topology Discovery in Event-B
This page was built for software: HOL/SPIN
