The following pages link to HOL/SPIN (Q15523):
Displaying 21 items.
- Modelling and verifying the AODV routing protocol (Q324632) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- Developing topology discovery in Event-B (Q1044181) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Static analysis of topology-dependent broadcast networks (Q2266988) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- A Process Algebra for Wireless Mesh Networks (Q2892733) (← links)
- (Q3111974) (← links)
- Formal verification of standards for distance vector routing protocols (Q3455541) (← links)
- A Program Logic for Verifying Secure Routing Protocols (Q3460424) (← links)
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks (Q3510864) (← links)
- Developing Topology Discovery in Event-B (Q3605457) (← links)
- Modeling Routing Protocols in Adhoc Networks (Q3628490) (← links)
- Incremental Proof of the Producer/Consumer Property for the PCI Protocol (Q4472174) (← links)
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (Q5458318) (← links)
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs (Q5458792) (← links)
