Constraints: Next-hop Reachability


What correctness property does it address? validity
What type of rule will verify it? pattern-based
One router, or multiple? multiple
Need information from other routing protocols? IGP
Need a specification of intended behavior? no
Need external information? no
Single AS, or more than one? single AS
Can static analysis catch the error? yes