@inproceedings{Bishop_FNSSW_06, address = {Charleston, South Carolina, USA}, author = {Bishop, Steve and Fairbairn, Matthew and Norrish, Michael and Sewell, Peter and Smith, Michael and Wansbrough, Keith}, booktitle = {ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, doi = {10.1145/1111037.1111043}, editor = {{Simon Peyton Jones}}, keywords = {network protocols, tcp/ip, sockets, api, specification, conformance testing, higher-order logic, hol, operational semantics}, month = jan, pages = {55---66}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/7529.pdf}, publisher = {ACM Press}, title = {Engineering with Logic: {HOL} Specification and Symbolic-evaluation Testing for {TCP} Implementations}, year = {2006} }