Practical Uses for a Routing Logic 



Reason about BGP's behavior

Verify that BGP configurations satisfy properties

Synthesize BGP configuration automatically

Design protocol extensions that fix problems