Abstract: The development and maintenance of network device configurations is one of the central challenges faced by large network providers. Current network management systems fail to meet this ...