Toward formally verifying congestion control behavior

Author(s)
Arun, Venkat; Arashloo, Mina Tahmasbi; Saeed, Ahmed; Alizadeh, Mohammad; Balakrishnan, Hari
Thumbnail
DownloadPublished version (1.351Mb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution-ShareAlike 4.0 International https://creativecommons.org/licenses/by-sa/4.0/
Metadata
Show full item record
Date issued
2021
URI
https://hdl.handle.net/1721.1/142728
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Journal
Proceedings of the 2021 ACM SIGCOMM 2021 Conference
Publisher
ACM
Citation
Arun, Venkat, Arashloo, Mina Tahmasbi, Saeed, Ahmed, Alizadeh, Mohammad and Balakrishnan, Hari. 2021. "Toward formally verifying congestion control behavior." Proceedings of the 2021 ACM SIGCOMM 2021 Conference.
Version: Final published version
Collections