"Computer Aided Verification - CAV 2011 " - читать интересную книгу автора (Ganesh Gopalakrishnan, Shaz Qadeer)