I know what your packet did last hop: using packet histories to troubleshoot networks
Header space analysis: Static checking for networks