NetChecker: enabling real-time and error-locatable runtime verification for programmable networks
Abstract Runtime errors may occur in programmable networks due to incorrect table hits, erroneous rule matches, and mistakes in the P4 pipeline, which cannot be debugged and repaired before program deployment. In this paper, we present the design and implementation of NetChecker, a real-time and err...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer
2025-06-01
|
| Series: | Journal of King Saud University: Computer and Information Sciences |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/s44443-025-00083-6 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|