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