Skip to content
#

bgp

Here are 486 public repositories matching this topic...

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 May 19, 2024

Improve this page

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

Learn more