"Hardware and Software: Verification and Testing - HVC 2010" - читать интересную книгу автора (Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz)