NV: An intermediate language for network verification

Ryan Beckett, Devon Loher, Nick Giannarakis, David 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
Country/TerritoryChina
CityBeijing
Period8/23/19 → …

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture

Keywords

  • Control plane modelling
  • Network simulation
  • Network verification

Cite this