NV: An intermediate language for network verification

Ryan Beckett; Devon Loher; Nick Giannarakis; David Walker

doi:10.1145/3341561.3349592

NV: An intermediate language for network verification

Ryan Beckett, Devon Loher, Nick Giannarakis, David Walker

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Original language	English (US)
Title of host publication	NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019
Publisher	Association for Computing Machinery, Inc
Pages	3-4
Number of pages	2
ISBN (Electronic)	9781450368773
DOIs	https://doi.org/10.1145/3341561.3349592
State	Published - Aug 14 2019
Event	2019 ACM SIGCOMM Workshop on Networking and Programming Languages, NetPL 2019 - Beijing, China Duration: Aug 23 2019 → …

Publication series

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

Conference

Conference	2019 ACM SIGCOMM Workshop on Networking and Programming Languages, NetPL 2019
Country/Territory	China
City	Beijing
Period	8/23/19 → …

All Science Journal Classification (ASJC) codes

Software
Hardware and Architecture

Keywords

Control plane modelling
Network simulation
Network verification

Access to Document

10.1145/3341561.3349592

Cite this

Beckett, R., Loher, D., Giannarakis, N., & Walker, D. (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

Beckett, Ryan ; Loher, Devon ; Giannarakis, Nick et al. / NV : An intermediate language for network verification. NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, 2019. pp. 3-4 (NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019).

@inproceedings{7283b9a968a84370b167affe763c3af4,

title = "NV: An intermediate language for network verification",

keywords = "Control plane modelling, Network simulation, Network verification",

author = "Ryan Beckett and Devon Loher and Nick Giannarakis and David Walker",

year = "2019",

month = aug,

day = "14",

doi = "10.1145/3341561.3349592",

language = "English (US)",

series = "NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019",

publisher = "Association for Computing Machinery, Inc",

pages = "3--4",

booktitle = "NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019",

}

Beckett, R, Loher, D, Giannarakis, N & Walker, D 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. NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019, Association for Computing Machinery, Inc, pp. 3-4, 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, NetPL 2019, Beijing, China, 8/23/19. https://doi.org/10.1145/3341561.3349592

NV: An intermediate language for network verification. / Beckett, Ryan; Loher, Devon; Giannarakis, Nick et al.
NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, 2019. p. 3-4 (NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - NV

T2 - 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, NetPL 2019

AU - Beckett, Ryan

AU - Loher, Devon

AU - Giannarakis, Nick

AU - Walker, David

PY - 2019/8/14

Y1 - 2019/8/14

KW - Control plane modelling

KW - Network simulation

KW - Network verification

UR - http://www.scopus.com/inward/record.url?scp=85072089229&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85072089229&partnerID=8YFLogxK

U2 - 10.1145/3341561.3349592

DO - 10.1145/3341561.3349592

M3 - Conference contribution

AN - SCOPUS:85072089229

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

SP - 3

EP - 4

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

PB - Association for Computing Machinery, Inc

Y2 - 23 August 2019

ER -

Beckett R, Loher D, Giannarakis N, Walker D. 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. Association for Computing Machinery, Inc. 2019. p. 3-4. (NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019). doi: 10.1145/3341561.3349592

NV: An intermediate language for network verification

Publication series

Conference

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this