"Model Checking" - читать интересную книгу автора (Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled)