ACORN Network Control Plane Abstraction using Route Nondeterminism

Raghunathan, Divya; Beckett, Ryan; Gupta, Aarti; Walker, David

doi:10.34727/2022/isbn.978-3-85448-053-2_33

Record link:

http://hdl.handle.net/20.500.12708/81362
https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_33

Title:

ACORN Network Control Plane Abstraction using Route Nondeterminism

Citation:

Raghunathan, D., Beckett, R., Gupta, A., & Walker, D. (2022). ACORN Network Control Plane Abstraction using Route Nondeterminism. In A. Griggio & N. Rungta (Eds.), Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 (pp. 261–272). TU Wien Academic Press. https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_33

reposiTUm DOI:

10.34727/2022/isbn.978-3-85448-053-2_33

CatalogPlus:

AC17205329

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Raghunathan, Divya
Beckett, Ryan
Gupta, Aarti
Walker, David

Editors:

Griggio, Alberto
Rungta, Neha