Formal methods seems to be perfect for verifying protocols, specially finding design flaws, here an example of an ongoing effort to verify TLS https://www.mitl

Formal methods seems to be perfect for verifying protocols, specially finding design flaws, here an example of an ongoing effort to verify TLS https://www.mitls.org/ https://www.mitls.org/ https://github.com/project-everest/mitls-fstar https://github.com/project-everest/mitls-fstar