FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing (2011)

by Y Ren, W Zhou, A Wang, L Jia, A J Gurney, B T Loo, J Rexford
Venue:In ACM SIGCOMM Conference on Data Communication (demonstration