From owner-freebsd-net@FreeBSD.ORG  Tue Mar 29 01:21:07 2005
Return-Path: <owner-freebsd-net@FreeBSD.ORG>
Delivered-To: freebsd-net@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 0A2DE16A4CE
	for <freebsd-net@freebsd.org>; Tue, 29 Mar 2005 01:21:07 +0000 (GMT)
Received: from mail-relay1.yahoo.com (mail-relay1.yahoo.com [216.145.48.34])
	by mx1.FreeBSD.org (Postfix) with ESMTP id C926543D53
	for <freebsd-net@freebsd.org>; Tue, 29 Mar 2005 01:21:06 +0000 (GMT)
	(envelope-from gnn@neville-neil.com)
Received: from minion.local.neville-neil.com (proxy7.corp.yahoo.com
	[216.145.48.98])j2T1KnZ1069749;	Mon, 28 Mar 2005 17:20:50 -0800 (PST)
Date: Tue, 29 Mar 2005 10:20:48 +0900
Message-ID: <m2ekdzs0wf.wl%gnn@neville-neil.com>
From: gnn@freebsd.org
To: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
In-Reply-To: <E1DG04E-0001F2-00@mta1.cl.cam.ac.uk>
References: <E1DG04E-0001F2-00@mta1.cl.cam.ac.uk>
User-Agent: Wanderlust/2.12.0 (Your Wildest Dreams) SEMI/1.14.6 (Maruoka)
	FLIM/1.14.6 (Marutamachi) APEL/10.6 Emacs/21.3.50 (powerpc-apple-darwin7.7.0)
	MULE/5.0 (SAKAKI)
MIME-Version: 1.0 (generated by SEMI 1.14.6 - "Maruoka")
Content-Type: text/plain; charset=US-ASCII
cc: freebsd-net@freebsd.org
Subject: Re: Rigorous specification for TCP, UDP, and Sockets
X-BeenThere: freebsd-net@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Networking and TCP/IP with FreeBSD <freebsd-net.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-net>
List-Post: <mailto:freebsd-net@freebsd.org>
List-Help: <mailto:freebsd-net-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Mar 2005 01:21:07 -0000

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