Topic: "modular-verification"
NetworkVerification/Timepiece
Modular network control plane verification tool, using temporal invariants to define modular interfaces
Language: C# - Size: 3.17 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
Related Topics