Research Directions in Formal Verification of Network Configurations Toward Verification of Mobile Networks.
Hideki SakuradaKouichi SakuraiPublished in: MobiSec (2023)
Keyphrases
- formal verification
- mobile networks
- model checking
- model checker
- bounded model checking
- automated verification
- mobile devices
- mobile users
- cellular networks
- base station
- temporal logic
- mobile nodes
- wireless networks
- mobile ip
- functional verification
- symbolic model checking
- routing problem
- ad hoc networks
- mobile ad hoc networks
- route optimization
- formal specification
- mobile applications
- context aware
- wireless sensor networks
- genetic algorithm
- end to end