Contributions


Correctness constraints for BGP routing.

Design and implementation of rcc.

Study of configuration errors in real-world networks.

Recommended protocol and language changes.