Automatically Repairing Network Control Planes Using an Abstract Representation
SymNet: Scalable symbolic execution for modern networks