A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Debugging Network Reachability with Blocked Paths
[chapter]
2021
Lecture Notes in Computer Science
AbstractIn this industrial case study we describe a new network troubleshooting analysis used by VPC Reachability Analyzer, an SMT-based network reachability analysis and debugging tool. Our troubleshooting analysis uses a formal model of AWS Virtual Private Cloud (VPC) semantics to identify whether a destination is reachable from a source in a given VPC configuration. In the case where there is no feasible path, our analysis derives a blocked path: an infeasible but otherwise complete path
doi:10.1007/978-3-030-81688-9_39
fatcat:tdmalumt3vgqtc4kgji5iivvwy