1. A method comprising: querying a router in a network to obtain a first routing table from the router, simulating a model of the network to obtain a second routing table corresponding to a model of the router, and identifying differences, if any, between the first routing table and the second routing table.