Computer Assisted Assessment of Network Routing Protocols