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

Active Bibliography

2 rigorous and experimentally-validated behavioural specification Volume 1: Overview – Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough, Peter Sewell, Michael Smith, Keith Wansbrough, Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough - 2005
21 Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures – Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov - 2002
Rigour is Good for You and Feasible: – Reflections On Formal, Michael Norrish, Peter Sewell, Keith Wansbrough - 2002
C and UDP sockets – Michael Norrish, Peter Sewell, Keith Wansbrough
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
26 Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations – Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough - 2006
9 Stenning’s protocol implemented in UDP and verified in Isabelle – Michael Compton - 2005
Engineering with Logic: Rigorous Specification and Validation for TCP/IP and the Sockets API – Steve Bishop, Michael Norrish, Peter Sewell
TCP – Tom Ridge, Michael Norrish, Peter Sewell
1 Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) – Peter Sewell, Keith Wansbrough - 2004
1 Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation – Peter Sewell, Pawe̷l T. Wojciechowski, Asis Unyapoth
18 On the Anonymity of Anonymity Systems – Andrei Serjantov - 2004
Analyzing Java in Isabelle/HOL -- Formalization, . . . – David Von Oheimb - 2001
Mechanized – unknown authors
25 Mechanized Semantics for the Clight Subset of the C Language – Sandrine Blazy, Xavier Leroy
9 Complete integer decision procedures as derived rules in HOL – Michael Norrish - 2003
2 Specifying and Implementing Secure Mobile Applications in the Channel Ambient System – Andrew Nicholas John Brojer Phillips - 2005
2 Memory Taggings and Dynamic Data Structures – J Strother Moore - 2003
Composable Packages for Higher Order Logic Theories – Joe Hurd