Higher Level Reasoning About Configuration 



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.

Specify configuration based on intended behavior.
Configuring low-level mechanisms is error-prone.
Specifying high-level intended behavior makes sense.