The Study of Model Checking Based on Mission Flow

The technology of model checking based on mission flow is discussed in this paper. The method of mission flow doesn't concern the number of the states, from a state to another and the existence of a certain state but concerns the function which is provided by the combination of states and the transition of the states. As a result, it avoids the problem of the state space explosion. The arithmetic of module search is based on modules to verify a certain system whether satisfies the specification through searching for the model of mission flow.