"Abstraction Refinement for Large Scale Model Checking" - читать интересную книгу автора (Chao Wang, Gary D. Hachtel, Fabio Somenzi)