Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations (2006)
by
Steve Bishop
,
Matthew Fairbairn
,
Michael Norrish
,
Peter Sewell
,
Michael Smith
,
Keith Wansbrough
| Venue: | POPL'06 |
| Citations: | 19 - 5 self |
BibTeX
@MISC{Bishop06engineeringwith,
author = {Steve Bishop and Matthew Fairbairn and Michael Norrish and Peter Sewell and Michael Smith and Keith Wansbrough},
title = {Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations},
year = {2006}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de facto one of the common implementations, including, for example, the 15 000-- 20 000 lines of C in the BSD implementation. Dealing rigorously with the behaviour of such bodies of code is challenging. We have
