Epinoia: Intent Checker for Stateful Networks.

Huazhe Wang, Puneet Sharma, Faraz Ahmed, Joon-Myung Kang, Chen Qian, Mihalis Yannakakis

Browse the full ICCCN paper archive.