Probabilistic verification of BGP convergence | IEEE Conference Publication | IEEE Xplore