>>507
Automatic Verification of Transmission Control Protocol Using NuSMV
っていうのがあった。
ttp://www.cs.toronto.edu/~chechik/courses99/csc2108/projects/index.html

あと、検証の話があるか知らないけど、UDPの動作を
モデル化しました、みたいな論文がどっかにあった気がする。