@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},
}