Engineering with Logic : Rigorous Specification and Validation for TCP / IP and the Sockets API

@inproceedings{Bishop2013EngineeringWL,
  title={Engineering with Logic : Rigorous Specification and Validation for TCP / IP and the Sockets API},
  author={Steve Bishop and Matthew Fairbairn and Michael Norrish and Peter Sewell and Michael Smith and Keith Wansbrough},
  year={2013}
}
The TCP/IP protocols and Sockets API have an interesting sta tus: they play a vital role in modern communication and computation, and interoperability between implementations i s essential. But what exactly they are is surprisingly obscu re: their original development focussed on “rough consensus and ru ning code”, augmented by prose RFC specifications that do not precisely define what it means for an implementation to be c orr t. Ultimately, the actual standard is the de facto one of the… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

A Trusted Approach to Design a Network Monitor

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) • 2017

References

Publications referenced by this paper.
Showing 1-10 of 34 references

Similar Papers

Loading similar papers…