Skip to content
#

ivy

Here are 160 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 3, 2024

Improve this page

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

Learn more