Hiroaki Date, Noriaki Yoshiura. Computational Verification of Network Programs for Several OpenFlow Switches in Coq. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Maria Torre, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Shangguang Wang, editors, Computational Science and Its Applications - ICCSA 2016 - 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II. Volume 9787 of Lecture Notes in Computer Science, pages 223-238, Springer, 2016. [doi]
Abstract is missing.