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...
| الحاوية / القاعدة: | Journal of King Saud University: Computer and Information Sciences |
|---|---|
| المؤلفون الرئيسيون: | , , |
| التنسيق: | مقال |
| اللغة: | الإنجليزية |
| منشور في: |
Springer
2025-06-01
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://doi.org/10.1007/s44443-025-00083-6 |