4 ms·Kinetic: Verifiable Dynamic Control for Software Defined Networks1 points by fitzwatermellow 11y ago