"Model Checking Software (Lecture Notes in Computer Science, 6823) " - читать интересную книгу автора (Alex Groce, Madanlal Musuvathi)