Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode.

Zilin Shen Imtiaz Karim Elisa Bertino

Published 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