[Submissions-0x19] Re: [Netdev 0x19] On your submission #7 "verify protocol behaviors using..."

We are thinking that it may make sense for you to turn your talk into a tutorial. Would you be able to do that? The tutorial would be an introduction on how to use the verifier then use some protocol setup as an example. Please let us know.