Tiramisu: Fast and General Network Verification

Fast vehicle detection algorithm in traffic scene based on improved SSD

“…Another approach is to quickly identify the problems through network verification, which continuously monitors and validates the state of the networking infrastructure (topologies, configurations, etc.) in both control plane (e.g., [8][9][10][11][12][13][14][15]) and data plane (e.g., [16][17][18][19][20][21][22][23][24][25][26][27]). Network verification can detect errors both reactively by monitoring the current network state, and proactively by reviewing an expected network state.…”