Rigorous specification for TCP, UDP, and Sockets

[gnn at freebsd.org]

Hi Peter,

Interesting paper and work.  Are you plannning to share the tools as
well?  That's what I'd be most interested in seeing, basically the
ability to turn your conformance tests into regression tests.

Thanks,
George