1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…