%0 Journal Article %1 ball2014vericon %A Ball, Thomas %A Bjørner, Nikolaj %A Gember, Aaron %A Itzhaky, Shachar %A Karbyshev, Aleksandr %A Sagiv, Mooly %A Schapira, Michael %A Valadarsky, Asaf %C New York, NY, USA %D 2014 %I ACM %J SIGPLAN Not. %K Hoare-style networks software-defined verification, %N 6 %P 282--293 %R 10.1145/2666356.2594317 %T VeriCon: Towards Verifying Controller Programs in Software-defined Networks %V 49

@article{ball2014vericon, acmid = {2594317}, added-at = {2014-12-10T16:12:02.000+0100}, address = {New York, NY, USA}, author = {Ball, Thomas and Bj{\o}rner, Nikolaj and Gember, Aaron and Itzhaky, Shachar and Karbyshev, Aleksandr and Sagiv, Mooly and Schapira, Michael and Valadarsky, Asaf}, biburl = {https://www.bibsonomy.org/bibtex/24dd772bd2227511579e95d2b81842c0d/chesteve}, doi = {10.1145/2666356.2594317}, interhash = {c155f25b278b6e69179e903469c6c029}, intrahash = {4dd772bd2227511579e95d2b81842c0d}, issn = {0362-1340}, issue_date = {June 2014}, journal = {SIGPLAN Not.}, keywords = {Hoare-style networks software-defined verification,}, month = jun, number = 6, numpages = {12}, pages = {282--293}, publisher = {ACM}, timestamp = {2014-12-10T16:12:02.000+0100}, title = {{VeriCon}: Towards Verifying Controller Programs in Software-defined Networks}, volume = 49, xxurl = {http://doi.acm.org/10.1145/2666356.2594317}, year = 2014 }