"NASA Formal Methods - NFM 2011" - читать интересную книгу автора (Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi)