Configuration Error Localization

Router configuration errors are unfortunately common and difficult to localize using current network verification tools. Consequently, repairing a network--either manually or automatically--can be time consuming. We are developing a technique that uses unsatisfiable cores from SMT-based network models to accurately identify which parts of a network’s configurations are likely the cause of problems.