Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
Date
Authors
Bishop, Steve
Fairbairn, Matthew
Norrish, Michael
Sewell, Peter
Smith, Michael
Wansbrough, Keith
Journal Title
Journal ISSN
Volume Title
Publisher
Association for Computing Machinery Inc (ACM)
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of the 33rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description