Network Verification in the Light of Program Verification
Graph-Based Algorithms for Boolean Function Manipulation