@inproceedings{vinarskii:hal-02448964,
  TITLE = {{A model checking based approach for detecting SDN races}},
  AUTHOR = {Vinarskii, Evgenii and Lopez, Jorge and Kushik, Natalia and Yevtushenko, Nina and Zeghlache, Djamal},
  URL = {https://hal.science/hal-02448964},
  NOTE = {Part 4: Testing and Verification Techniques},
  BOOKTITLE = {{ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems}},
  ADDRESS = {Paris, France},
  EDITOR = {Christophe Gaston and Nikolai Kosmatov and Pascale Le Gall},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Testing Software and Systems},
  VOLUME = {LNCS-11812},
  PAGES = {194-211},
  YEAR = {2019},
  MONTH = Oct,
  DOI = {10.1007/978-3-030-31280-0\_12},
  KEYWORDS = {Races ; Verification ; Switch ; Controller ; Software Defined Networking (SDN) ; Testing},
  PDF = {https://hal.science/hal-02448964/file/482770_1_En_12_Chapter.pdf},
  HAL_ID = {hal-02448964},
  HAL_VERSION = {v1},
}