Open Questions



Timing-related issues (e.g., convergence times, etc.)

Some configuration validation is about verifying intent. (e.g., aggregation)

Applicability to other routing protocols 
(e.g., overlays, ad-hoc, etc.)
Perhaps some different rules or properties