|
|
|
|
Введение в формальные методы верификации программ
Камкин А.С
Код: 44462204
Страниц: 304
Переплет: твердый Иллюстрации: отсутствуют Бумага: офсетная Язык издания: русский Год издания: 2024 Возрастные ограничения: 18+ Размер: 16.5 x 23.5 x 2.2 см
Вес: 631 г.
ISBN: 978-5-93700-340-9
Наличие: распродано
|
Описание:
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 15 лекций, сопровождаемых вопросами для самопроверки и упражнениями.
В числе рассматриваемых тем:
обзор базовых методов верификации;
дедуктивный анализ программ;
проверка моделей;
использование формальных методов в тестировании.
Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники.
Желательно знание основ дискретной математики и математической логики.
Автор на обложке
Камкин А.
|
|
|
|
|
