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 https://doi.org

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 https://doi.org/10.1145/3452296.3472912 Toward formally verifying congestion control behavior | Proceedings of the 2021 ACM SIGCOMM 2021 Conference