Введение в формальные методы верификации программ
Бумажное издание
Автор: Камкин А.
Дата выхода: ноябрь 2024 года
Объем, стр: 304
ISBN: 978-5-93700-340-9
Формат: 165 * 235 мм
Бумага: офсетная
Обложка: Твердый переплет
Вес, г: 600
Электронное издание
Автор: Камкин А.
Дата выхода: ноябрь 2024 года
Объем, стр: 304
ISBN: 978-5-93700-340-9
- Самовывоз м. Коломенская - завтра - Бесплатно
- Доставка почтой по РФ - 7-28 дней - от 300 р.
Доставка почтой за пределы РФ - 14-28 дней - от 1400 р. - Курьером по Москве - в течение 7 дней - 300 р.
Аннотация
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 16 лекций, сопровождаемых вопросами для самопроверки и упражнениями.
В числе рассматриваемых тем:
- обзор базовых методов верификации;
- дедуктивный анализ программ;
- проверка моделей;
- использование формальных методов в тестировании.
Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники.
Ожидается, что читатель знает основы дискретной математики и математической логики.



