[ДМК] Введение в формальные методы верификации программ [Камкин А.]

[Капоне]

Складчина: [ДМК] Введение в формальные методы верификации программ [Камкин А.]


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

Издание: Черно-белое
Автор: Камкин А.
Объем, стр: 304
ISBN: 978-5-93700-340-9

Формат: PDF
Стоимость: 800

Для просмотра скрытого содержимого вы должны зарегистрироваться