Tiramisu: Fast and General Network Verification.

Anubhavnidhi Abhashkumar Aaron Gember-Jacobson Aditya Akella Tiramisu: Fast and General Network Verification. 2019 abs/1906.02043 CoRR http://arxiv.org/abs/1906.02043 db/journals/corr/corr1906.html#abs-1906-02043