Scalable Verification of Multi-ACK Properties in Loss-Based Congestion Control Implementations.

Minh Vu, Hamid Bagheri, Lisong Xu, Wei Sun, Mingrui Zhang

Browse the full ICNP paper archive.