Login / Signup
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.
Steve Bishop
Matthew Fairbairn
Michael Norrish
Peter Sewell
Michael Smith
Keith Wansbrough
Published in:
POPL (2006)
Keyphrases
</>
high level
artificial intelligence
natural deduction
formal methods
test cases
end to end
higher order logic
efficient implementation
symbolic representation
binary decision diagrams
software engineering
high speed
communication networks
engineering design
software testing
linear temporal logic