USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Metha: Network Verifiers Need To Be Correct Too!
Submitted by arnold on December 15, 2020 - 3:55 pm
| Title | Metha: Network Verifiers Need To Be Correct Too! |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Birkner R, Brodmann T, Tsankov P, Vanbever L, Vechev M |
| Conference Name | 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21) |
| Date Published | 04/2021 |
| Publisher | USENIX Association |
| ISBN Number | 978-1-939133-21-2 |
| URL | https://www.usenix.org/conference/nsdi21/presentation/birkner |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX