This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...