elniak / panther Goto Github PK
View Code? Open in Web Editor NEWThis 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.
Home Page: https://elniak.github.io/PANTHER/