Date: Thu, 24 Sep 2015 20:52:20 -0400 From: "George Neville-Neil" <gnn@neville-neil.com> To: transport@freebsd.org Subject: Peter Sewell et al's formal TCP state machine code Message-ID: <482ADD1B-54F3-44E3-BDEB-AB6E8BA21784@neville-neil.com>
next in thread | raw e-mail | index | archive | help
Howdy, https://github.com/PeterSewell/netsem That's the formal spec stuff that Robert was talking about on the call today. Best, George
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?482ADD1B-54F3-44E3-BDEB-AB6E8BA21784>