Abstract: Software model checking is of significant importance to guarantee the correctness and reliability of software systems. Abstraction is one of the most important technique for reducing the state explosion problem in model checking. In this paper,we provide

Key words: Software model checking,Abstraction technique, State explosion