Skip to content
#

Protocol (disambiguation)

Protocol can mean different things, depending on the context:

Here are 2,392 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 31, 2024
Followers
47 followers
Wikipedia
Wikipedia

Related Topics

communication-protocol interface network-protocol