Hello, I am a PhD student, and I research the possibilities of verification of a software dataplane applications. In order to maximize the utility of our efforts for the networking community, our team asks you to answer a couple of questions about your preferences regarding network applications verification:
http://goo.gl/cL760p Please ignore this letter if you already participated in the survey in December. This short form should take no more than 2-3 minutes of your time. If you have any questions, please, e-mail me personally (arseniy.zaostrovnykh at epfl.ch). -- Respectfully, Arseniy.
