Skip to content
#

apt

Here are 125 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 15, 2024
  • Python

Improve this page

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

Learn more