|
|
|
|
|
|
by happyPersonR
31 days ago
|
|
|
I thought there was in the past and some of the flaws found were addressed in facebooks version of this https://doi.org/10.1145/3452296.3472912 Toward formally verifying congestion control behavior | Proceedings of the 2021 ACM SIGCOMM 2021 Conference |
|
|