An example of proven correct networking code: https://www.microsoft.com/en-us/research/blog/project-everest-advancing-the-science-of-program-proof/ https://www

An example of proven correct networking code: https://www.microsoft.com/en-us/research/blog/project-everest-advancing-the-science-of-program-proof/ https://www.microsoft.com/en-us/research/blog/project-everes... This is the future.