@article{Ball14VericonNotices, author = {Thomas Ball and Nikolaj Bj\orner and Aaron Gember and Shachar Itzhaky and Aleksandr Karbyshev and Mooly Sagiv and Michael Schapira and Asaf Valadarsky}, title = {Veri{C}on: {T}owards {V}erifying {C}ontroller {P}rograms in {S}oftware-{D}efined {N}etworks}, booktitle = {ACM SIGPLAN Notices --- PLDI '14}, month = {June}, year = 2014, series = {SIGPLAN}, publisher = {ACM}, doi = {10.1145/10.1145/2666356.2594317}, address = {New York, New York, USA}, }