Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed 0001, Mohammad Alizadeh, Hari Balakrishnan. Toward formally verifying congestion control behavior. In Fernando A. Kuipers, Matthew C. Caesar, editors, ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021. pages 1-16, ACM, 2021. [doi]
Abstract is missing.