Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks.
Yati PhyoKazuhiro OgataPublished in: APSEC (2018)
Keyphrases
- formal specification
- mutual exclusion
- model checking
- mobile networks
- model checker
- protocol specification
- long distance
- planning domains
- temporal logic
- mobile users
- base station
- formal verification
- mobile devices
- formal methods
- wireless networks
- specification language
- ad hoc networks
- temporal properties
- epistemic logic
- process algebra
- concurrent systems
- bounded model checking
- multimedia content
- computation tree logic
- routing problem
- asynchronous circuits
- description language
- sensor networks
- dynamic programming
- wireless sensor networks