Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

Browse the full POPL paper archive.