Verification of Computer Switching Networks: An Overview
Abstractions for network update