Needed: Higher-level Analysis





Verify the behavior of a particular configuration.
Check "correctness properties".
Check that the configuration conforms to intended behavior.

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