"Model Checking Software, 15 conf" - читать интересную книгу автора (Klaus Havelund, Rupak Majumdar, Jens Palsberg)