feasible: reflections on formal treatments of C and UDP sockets.

Michael Norrish Peter Sewell Keith Wansbrough

Published in: ACM SIGOPS European Workshop (2002)

Keyphrases

tcp ip
formal model
end to end
feasible solution
formal methods
database
real time
decision trees
formal specification
rate control
formal analysis
formal language