Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode.
Zilin ShenImtiaz KarimElisa BertinoPublished in: AsiaCCS (2024)
Keyphrases
- formal verification
- wifi
- model checking
- wireless networks
- mobile devices
- end to end
- wireless communication
- model checker
- bounded model checking
- automated verification
- indoor localization
- location information
- mobile applications
- symbolic model checking
- network architecture
- ad hoc networks
- smart home
- temporal logic
- mobile phone
- management system
- communication networks
- mobile networks
- shortest path
- software engineering