Ming T. Liu

Learn More
Primarily used in military communications in the past, code division multiple access (CDMA) is recently found to be attractive for personal communications as well. As a large number of mobile hosts are supported within a cell and a wide range of services are provided, one of the most important issues in a CDMA personal communication network is how to(More)
Reachability analysis has proved to be one of the most effective methods in verifying correctness of communication protocols based on the state transition model. Consequently, many protocol verification tools have been built based on the method of reachability analysis. Nevertheless, it is also well known that state space explosion is the most severe(More)