Model-based network diagnosis derives automated root-cause diagnosis procedures from a formal model of packet forwarding and routing, implemented in NetDx and evaluated on emulated and real-world faults.
https://p4.org/p4-spec/docs/INT v2 1.pdf, Sept
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.NI 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures
Model-based network diagnosis derives automated root-cause diagnosis procedures from a formal model of packet forwarding and routing, implemented in NetDx and evaluated on emulated and real-world faults.