VeriCon: towards verifying controller programs in software-defined networks
Logic Programming for Software-Defined Networks