Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations (2006)

by S Bishop, M Fairbairn, M Norrish, P Sewell, M Smith, K Wansbrough
Venue:In Proceedings of the 33rd ACM Symposium on Principles of Programming Languages (POPL