"Formal Hardware Verification: Methods and Systems in Comparison" - читать интересную книгу автора (Thomas Kropf)