The Ideal Situation: Higher-level Reasoning




Verify the behavior of a particular configuration.
Check "correctness properties".
(e.g., forwarding loops in iBGP configuration?)