Browsing by Author Giannarakis, Nick
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2019 | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement | Giannarakis, Nick; Beckett, Ryan; Mahajan, Ratul; Walker, David |
| Aug-2019 | NV: An intermediate language for network verification | Beckett, Ryan; Giannarakis, Nick; Loher, Devon; Walker, David |