Abstraction in Software Model Checking
Yuan Zhi · 2006
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 a survey of these abstraction techniques that are used widely in software model checking.Some achievements and research directions for future work are also discussed.