Литература

Основная

• Paul Ammann, Jeff Offutt. Introduction to Software Testing. -- Cambridge University Press, 2008. -- P. 344. -- ISBN 978-0521880381.
• Ю. Г. Карпов. Model Checking. Верификация параллельных и распределенных программных систем. - СПб.: БХВ-Петербург, 2010. - 552 с. - ISBN 978-5-9775-0404-1.
• Doron A. Peled. Software Reliability Methods. -- Springer; 1 edition, 2001. -- P. 331. -- ISBN 978-0387951065.
• Nielson F., Nielson H.R., Hankin C. Principles of Program Analysis. -- Corr. 2nd printing. -- Berlin: Springer, 2005. -- XXI, 452 p., 56 illus.
• M.R. Lyu. Handbook of Software Reliability Engeneering. -- McGraw-Hill publishing, 1995. -- ISBN 0-07-039400-8.

Дополнительная

• Cem Kaner, Jack Falk, Hung Q. Nguyen. Testing Computer Software. -- Wiley, 1999. -- P. 480. -- ISBN 978-0471358466.
• Верификация моделей программ: Model Checking / Кларк Э.М. Мл., Грамберг О., Пелед Д. - М. : МЦНМО, 2002. - 416 с. - ISBN 5-94057-054-2.
• Benjamin C. Pierce. Types and Programming Languages. -- The MIT Press; 1 edition, 2002. -- P. 645. -- ISBN 978-0262162098.
• Майерс Г. Надежность программного обеспечения. Москва: Мир, 1980.