Non-interoperability detection for routing protocol implementations

Network routing protocols help individual routers learn the network topology and select efficient routes, but the standards describing these protocols often contain ambiguous specifications. The abstract nature of the standards allows different implementations of the same routing protocol to have various interpretations of the specifications, causing them to experience non-interoperabilities when running in parallel. We present a technique for detecting such non-interoperabilities through specification mining for packet causal relationships.