Page
%P
1 Result(s)
within
Ryan Beckett
Logic in AI
-
Chapter and Conference Paper
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement
We show how to verify that large data center networks satisfy key properties such as all-pairs reachability under a bounded number of faults. To scale the analysis, we develop algorithms that identify network ...
