Source: [Rasool18]
Quick UDP Internet Connections (QUIC) is an experimental transport layer network protocol developed by Jim Roskind at Google. It is designed to be encrypted by default and have low latency. It is built on top of the User Datagram Protocol (UDP) which makes it possible to deploy changes rapidly so that it can keep up with the developments in modern internet. In his MSc Thesis, Rasool [Rasool18] [ArXivQuic] used model learning to construct some models of Google's implementation of the QUIC server. He found one transition in the state machine which was not explicitly mentioned in the specification.