Automated Verification of Customizable Middlebox Properties with Gravel.

Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang

Browse the full NSDI paper archive.