Emphases are put on counterexample-guided abstraction refinement and interpolation-based abstraction refinement, including the principles and improvements.

• 重点分析了反例指导的抽象求精和基于插值的抽象求精原理;