A General Approach to Network Configuration Verification.

Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker

Browse the full SIGCOMM paper archive.