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.