Delta-net: Real-time Network Verification Using Atoms
The Internet Topology Zoo