ElNiak/PFV

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.

2 best points · 0 comments · 1 Hacker News post · 44 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: PFV (Protocols Formal Verification) (2 points, 0 comments, by ElNiak, 2024-03-05)