the National Natural Science Foundation of China (No. 60102009; No. 90104002) and the National High-Tech Research and Development Program of China (No. 2001AA112061)
Protocol formalization is one of a class of hard problems in testing routing protocols and characterized by dynamic, concurrent and distributed behavior. For the purpose of performing conformance testing of the open s...