Towards Separating Routing State Exploration from Protocol Semantics in Control Plane Verification.

Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda

Browse the full INFOCOM paper archive.