Layered Formal Verification of a TCP Stack
Cluzel, Guillaume, Georgiou, Kyriakos, Moy, Yannick, Zeller, Clement
Published in 2021 IEEE Secure Development Conference (SecDev) (01.10.2021)
Published in 2021 IEEE Secure Development Conference (SecDev) (01.10.2021)
Get full text
Conference Proceeding