The Ideal Situation: Higher-level Reasoning




Verify the behavior of a particular configuration.
Check "correctness properties".
(e.g., forwarding loops in iBGP configuration?)
Check that the configuration conforms to intended behavior.
(e.g., is aggregation appropriate? readvertising according to policy?)

More than a band-aid fix.  
Useful for any router configuration language.