Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 16 лекций, сопровождаемых вопросами для самопроверки и упражнениями. В числе рассматриваемых тем: • обзор базовых методов верификации; • дедуктивный анализ программ; • проверка моделей; •...