Skip to content
#

quic

Here are 39 public repositories matching this topic...

PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

  • Updated Nov 5, 2024
  • Python

Improve this page

Add a description, image, and links to the quic 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 quic topic, visit your repo's landing page and select "manage topics."

Learn more