Delta-Net: real-time network verification using atoms

Horn, Alex, Kheradmand, Ali, Prasad, Mukul R. · arXiv · 2017