A rigorous approach to networking: TCP, from implementation to protocol to service
Date
2008
Authors
Ridge, Tom
Norrish, Michael
Sewell, Peter
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Keywords: Executable codes; Heidelberg (CO); International symposium; Level model; Proof assistants; Protocol modeling; Protocol specifications; Real world; Rigorous approach; Testing infrastructure; Formal logic; Formal methods; Network protocols; Specifications;
Citation
Collections
Source
Type
Book chapter
Book Title
International Symposium of Formal Methods Europe
Entity type
Access Statement
License Rights
Restricted until
2037-12-31