@conference {18496,
	title = {Correctness properties for Internet routing},
	booktitle = {Allerton Conference on Communication, Control, and Computing},
	year = {2005},
	month = {2005///},
	abstract = {This paper motivates and presents a correctness specifi-cation for Internet routing. This specification is based
on three properties{\textemdash}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 {\textquotedblleft}correct{\textquotedblright}.
},
	author = {Feamster, Nick and Balakrishnan,H.}
}
