@inproceedings{Ball14Vericon,
  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 = {Programming Language Design and Implementation},
  month = {June},
  year = 2014,
  series = {SIGPLAN},
  publisher = {ACM},
  doi = {10.1145/2594291.2594317},
  address = {Edinburg, UK},
}