6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Kahlil Dozier, Justin Beltran, Kylie Berg +4
Network verification (NWV), broadly defined as the verification of properties of distributed protocols used in network systems, cannot be efficiently solved on classical hardware v…