Введение в формальные методы верификации программ (Александр Камкин)

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