| Engineering with Logic: HOL Specification and (2008) | |||||||||||||||||
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. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||