SymNet: Scalable symbolic execution for modern networks
A general approach to network configuration analysis