Automated verification of safety properties of declarative networking programs
VeriCon: towards verifying controller programs in software-defined networks