On reachability analysis in MIPv4-MIPv6 coexistence phase

The primary purpose of this paper is to provide reachability between applications running on end hosts in MIPv4-MIPv6 coexistence phase. In this paper, we describe how to compute the reachability which a network, in this case MIPv4-MIPv6, provides from a snapshot of the configuration state from each of the routers. Reachability analysis of any network would be valuable for verifying the intent of the network designer, troubleshooting reachability problems, and performing “what-if” analysis of failure scenarios.