Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets (2002)

by Michael Norrish , Peter Sewell , Keith Wansbrough
Citations:14 - 12 self

Documents Related by Co-Citation

19 The UDP Calculus: Rigorous Semantics for Real Networking – Andrei Serjantov, Peter Sewell, Keith Wansbrough - 2001
21 Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures – Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov - 2002
17 Formal specification and verification of safety and performance of TCP selective acknowledgment – M Smith, K Ramakrishnan - 2002
25 Formal Verification of Communication Protocols – M. A. S. Smith - 1996
11 Service specification and protocol construction for the transport layer – S L Murphy, A U Shankar - 1988
15 A Graph Model Analysis of Computer Communications Protocols – J B Postel
37 A Readable TCP in the Prolac Protocol Language – Eddie Kohler , M. Frans Kaashoek, David R. Montgomery - 1999
42 A Structured TCP in Standard ML – Edoardo Biagioni - 1994
52 Generating Efficient Protocol Code from an Abstract Specification – C. Castelluccia - 1996
9 A verified connection management protocol for the transport layer – S L MURPHY, A U SHANKAR - 1987
19 Verifying Network Protocol Implementations by Symbolic Refinement Checking – Rajeev Alur, Bow-yaw Wang - 2001
8 Abruptly-terminated connections in TCP – a verification example – I SCHIEFERDECKER - 1996
8 Specification-driven monitoring of TCP/IP – R HOFMANN, F LEMMEN - 2000
11 Abstraction of Communication Channels in Promela: a Case Study – Elena Fersman, Bengt Jonsson - 2000
26 Verification and Improvement of the Sliding Window Protocol – Dmitri Chkliaev, Jozef Hooman, Erik de Vink - 2003
8 On defining the service provided by tcp – J Billington, B Han - 2003
35 Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets – Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough - 2005
6 Sockets: rigorous and experimentally-validated behavioural specification. Volume 2: The specification. Available at http://www.cl.cam.ac.uk/users/pes20/Netsem/alldoc.pdf – UDP TCP - 2005
9 Stenning’s protocol implemented in UDP and verified in Isabelle – Michael Compton - 2005