21 citations · 32 across the 6 of their papers we have counts for
1 paper · 1 filter
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff +2
Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffect…