"A roadmap for formal property verification" - читать интересную книгу автора (Pallab Dasgupta)