Рассмотрены основы процессов обеспечения качества программного обеспечения с использованием методов верификации и тестирования. Представлены наиболее распространенные на текущий момент математические модели, применяемые для формального описания требований и функционала разрабатываемых комплексов программ. Приведены примеры использования различных математических моделей и нотаций для построения формального описания программных систем. Предназначено для студентов высших технических учебных заведений, обучающихся по направлениям подготовки 09.03.01 «Информатика и вычислительная техника», 09.03.04 «Программная инженерия», для студентов других специальностей, изучающих дисциплину «Технологии программирования» и «Технологии верификации программ».