Zilinlin/FunctionalWifiModelTesting

This is the repository of the paper "egment-Based Formal Verification of WiFi Fragmentation and Power Save Mode" accepted to AsiaCCS 2024.

MIT