Chen Liyu. Study on the conformance test of TCP based on formal technology. Master thesis. Tsinghua University.

• 陈立宇。基于形式化技术的TCP协议一致性测试研究。硕士论文。清华大学。