BGP Configuration Determines Its Behavior Route injection, redistribution, aggregation Import and export route maps Access control lists, filtering AS Path prepending Communities Next-hop settings Route flap damping Timer settings BGP is a distributed program. We need practical verification techniques.