Formal Verification of Distributed Network Control Planes#Networks#Verification·youtube.com·Jun 22, 2022Formal Verification of Distributed Network Control Planes