| 
|
Quote: rigorous, detailed, readable specification from real-world traces of three implementations of the TCP/IP protocols and Sockets API; verified with a symbolic model checker
Topic:
communication protocols
Group:
program proving
Topic:
model checker
Topic:
constructing proof and program together
Quotation Skeleton
The TCP/IP protocols and Sockets API underlie much … is the de facto one of the common … rigorous, detailed, readable, has broad coverage, and is … [p. 56] we instrumented a test network (containing machines … [of TCP/IP and Sockets]) and wrote tests to drive those implementations, generating several thousand … that [our HOL] specification admitted these traces by running … not included. … Our symbolic model checker takes a captured trace … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: communication protocols (62 items)
Group: program proving (10 topics, 311 quotes)
Topic: model checker (49 items)
Topic: constructing proof and program together (22 items)