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