Verifying static, dynamic, and policy-based routing