"Decision Procedures: An Algorithmic Point of View" - читать интересную книгу автора (Daniel Kroening, Ofer Strichman, R.E. Bryant)