Skip to content
#

correctness

Here are 14 public repositories matching this topic...

Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. …

  • Updated Dec 30, 2021

Improve this page

Add a description, image, and links to the correctness topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the correctness topic, visit your repo's landing page and select "manage topics."

Learn more