Delta-net: Real-time Network Verification Using Atoms
VeriCon: towards verifying controller programs in software-defined networks