VeriCon: towards verifying controller programs in software-defined networks
SIMPLE-fying middlebox policy enforcement using SDN