"Applied Formal Verification" - читать интересную книгу автора (Douglas L. Perry, Harry Foster)