Layered Formal Verification of a TCP Stack.

Guillaume Cluzel Kyriakos Georgiou Yannick Moy Clément Zeller

Published in: SecDev (2021)

Keyphrases

formal verification
model checking
automated verification
end to end
model checker
ip networks
congestion control
flow control
bounded model checking
high speed
program slicing
round trip
functional verification
video streaming
linear temporal logic
dynamic programming
knowledge base