A rigorous approach to networking: TCP, from implementation to protocol to service

Ridge, TomNorrish, MichaelSewell, Peter2015-12-109783540682356http://hdl.handle.net/1885/55124Keywords: Executable codes; Heidelberg (CO); International symposium; Level model; Proof assistants; Protocol modeling; Protocol specifications; Real world; Rigorous approach; Testing infrastructure; Formal logic; Formal methods; Network protocols; Specifications;A rigorous approach to networking: TCP, from implementation to protocol to service200810.1007/978-3-540-68237-0_212016-06-14