Correctness properties for Internet routing

This paper motivates and presents a correctness specifi-cation for Internet routing. This specification is based
on three properties—route validity, path visibility, and
safety. This specification may be of use to people de-
veloping tools to check routing configurations, to people
designing solutions to specific problems in the current sys-
tem, and to designers of new protocols and routing archi-
tectures, all of whom can benefit from knowing what it
means for Internet routing to be “correct”.