Skip site navigation (1)Skip section navigation (2) 
Date:      Tue, 29 Mar 2005 10:20:48 +0900
From:      gnn@freebsd.org
To:        Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
Cc:        freebsd-net@freebsd.org
Subject:   Re: Rigorous specification for TCP, UDP, and Sockets
Message-ID:  <m2ekdzs0wf.wl%gnn@neville-neil.com>
In-Reply-To: <E1DG04E-0001F2-00@mta1.cl.cam.ac.uk>
index | next in thread | previous in thread | raw e-mail 

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
home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?m2ekdzs0wf.wl%gnn>