Formal Verification of a Network Survivability Validate Model

The survivability of large, complex networks such as the Internet is an increasing concern, and some models have been presented to deal with network survivability problems. But these models are difficult to analyze because network is topologically complex, highly non-linear in their responses, and inherently unbounded to uniformly evaluate these survivability models, this paper develops a Network Survivability Validating Framework based on distributed simulation platform, and describes its main concepts. Using Colored Petri Nets, the paper formally verifies these basic properties of the proposed framework, such as reachability, boundedness and fairness, thus, it can be instantiated for applications.