The industry currently offers numerous available QUIC implementations. However, we have selected only a few for comparative analysis. The main reasons behind our choice are as follows:
Methods for testing
We perform protocol conformance tests based on the methodology introduced in a paper titled "Formal specification and testing of QUIC" published at SIGCOMM 2019. We have upgraded the initial formal specification to incorporate support for QUIC v1 and resolved some issues in the ivy toolchain.