"Верификация моделей программ. Model Checking" - читать интересную книгу автора (Э. М. Кларк, О. Грамберг, Д. Пелед Верификация...)