Formalization, Implementation, and Verification of the Bluetooth L2CAP State Machine

Open Webpage

Tan Khang Le, Mohammad Omidvar Tehrani, Yuepeng Wang, Jianliang Wu, Steven Y. Ko

Published: 2025, Last Modified: 27 Feb 2026MobiCom 2025EveryoneRevisionsBibTeXCC BY-SA 4.0