Введение в формальные методы верификации программ
Камкин А.
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 16 лекций, сопровождаемых вопросами для самопроверки и упражнениями. В числе рассматриваемых тем: обзор базовых методов верификации; дедуктивный анализ программ; проверка...
ISBN: 978-5-93700-340-9
Издательство:
ДМК
Дата выхода: ноябрь 2024
Найденных опечаток пока нет
Добавить запись