7 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Ioannis Protogeros, Tibor Schneider, Laurent Vanbever
Symbolic network verifiers can reason about correctness across vast spaces of routing inputs and failures, but only for the protocols and features an expert has encoded by hand. Cr…