"Formal Methods in Computer-Aided Design" - читать интересную книгу автора (Mark D. Aagaard, John W. O'Leary)