Config2Spec: Mining Network Specifications from Network Configurations

Download PDF
Open Webpage

Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev

Published: 2020, Last Modified: 16 May 2025NSDI 2020EveryoneRevisionsBibTeXCC BY-SA 4.0