Answers are grounded in this paper and cite their sources.
Diagnosing problems in networks is a time-consuming and error-prone process. Existing tools to assist operators primarily focus on analyzing control plane configuration. Configuration analysis is limited in that it cannot find bugs in router software, and is harder to generalize across protocols since it must model complex configuration languages and dynamic protocol behavior.
No takes yet. Share an insight, caveat, or question.
Mai et al. (2011) studied this question.