Network Verification Benchmark

[ssoelvsten]

Corresponding with Ryan Becket (https://github.com/microsoft/DecisionDiagrams), I have been made aware of BDDs being successful for verifying network configurations. To this end, the following papers are relevant as a reference:

• https://ieeexplore.ieee.org/abstract/document/5339690
• https://dl.acm.org/doi/abs/10.1145/1866898.1866905
• https://www.microsoft.com/en-us/research/publication/network-verification-in-the-light-of-program-verification/

One can find inputs here:

• https://web.ist.utl.pt/nuno.lopes/netverif/