Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode.
Zilin ShenImtiaz KarimElisa BertinoPublished in: CoRR (2023)
Keyphrases
- formal verification
- wifi
- model checking
- wireless networks
- mobile devices
- end to end
- wireless communication
- bounded model checking
- symbolic model checking
- smart phones
- indoor localization
- model checker
- location information
- ad hoc networks
- urban environments
- automated verification
- neural network
- smart home
- computer simulation
- mobile networks
- temporal logic
- smart card
- mobile phone