Доказательство корректности программ
Об издании
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений. Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.
Библиографическая запись
Лейно, К. Р. М. Доказательство корректности программ / К. Р. М. Лейно ; перевод А. Н. Киселев. — Москва : ДМК Пресс, 2024. — 530 c. — ISBN 978-5-93700-199-3. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/159405.html (дата обращения: 12.03.2026). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Горюшкин А.П.
(Ай Пи Ар Медиа)
Горюшкин А.П.
(Ай Пи Ар Медиа)
Лапп Е.А., Беликова А.И., Вержиковская Д.С., Елисеева Н.А., Криулина К.С., Петривная О.В., Резанова Е.В.
(Ай Пи Ар Медиа)