NV: An intermediate language for network verification

Ryan Beckett, Devon Loher, Nick Giannarakis, David P. Walker

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationNetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019
PublisherAssociation for Computing Machinery, Inc
Pages3-4
Number of pages2
ISBN (Electronic)9781450368773
DOIs
StatePublished - Aug 14 2019
Event2019 ACM SIGCOMM Workshop on Networking and Programming Languages, NetPL 2019 - Beijing, China
Duration: Aug 23 2019 → …

Publication series

NameNetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019

Conference

Conference2019 ACM SIGCOMM Workshop on Networking and Programming Languages, NetPL 2019
CountryChina
CityBeijing
Period8/23/19 → …

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture

Keywords

  • Control plane modelling
  • Network simulation
  • Network verification

Cite this

Beckett, R., Loher, D., Giannarakis, N., & Walker, D. P. (2019). NV: An intermediate language for network verification. In NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019 (pp. 3-4). (NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019). Association for Computing Machinery, Inc. https://doi.org/10.1145/3341561.3349592