SymNet: Scalable symbolic execution for modern networks
Detecting BGP configuration faults with static analysis