Formal Verification of Safety and Performance Properties of TCP Selective Acknowledgment.

M. Smith K. Ramakrishnan

Published in: ICNP (1998)

Keyphrases

formal verification
model checking
model checker
automated verification
end to end
open source
symbolic model checking
artificial intelligence
real time
high speed
temporal logic
flow control
bounded model checking
program slicing