Properties: The Routing Logic 

Validity: Does it advertise invalid routes? 
Bogus route origination, persistent forwarding loops, etc.

Visibility: Does every valid path have a route? 
Session resets, missing sessions, damped routes, etc.

Information-flow control: Expose information? 
Accidental route leaks to neighbors, etc.

Determinism: Answer depend on orderings, etc.? 
Irrelevant route alternatives can affect outcomes.

Safety: Will it converge to a unique, stable answer? 
Policy-induced oscillation