Введение в формальные методы верификации программ | Introduction to Formal Methods for Program Verification

Введение в формальные методы верификации программ

Александр Сергеевич Камкин, 2024

Обзор

Верификация программ — это процесс определения их соответствия заданным требованиям. Данная книга фокусируется на формальных методах, являющихся ключевым подходом в этой области. Она содержит 16 лекций, дополненных вопросами для самопроверки и практическими упражнениями. Рассматриваются базовые методы верификации, дедуктивный анализ программ, проверка моделей и применение формальных методов в тестировании.

Кому подойдёт

• Программистам, студентам и аспирантам.
• Преподавателям и исследователям в области информатики.
• Специалистам, знакомым с основами дискретной математики и математической логики.

Ключевые особенности

• Язык: русский
• Страниц: 304
• Издательство: ДМК Пресс
• Год издания: 2024
• ISBN: 9785937003409

Introduction to Formal Methods for Program Verification

Alexander Sergeevich Kamkin, 2024

Overview

Program verification is the process of determining whether a program meets its specified requirements. This book focuses on formal methods, a crucial approach in this field. It comprises 16 lectures, accompanied by self-assessment questions and exercises. Topics covered include an overview of basic verification methods, deductive program analysis, model checking, and the application of formal methods in testing.

Who it's for

• Programmers, students, and postgraduate researchers.
• Lecturers and researchers in computer science and engineering.
• Individuals with a foundational knowledge of discrete mathematics and mathematical logic.

Key features

• Language: Russian
• Pages: 304
• Publisher: DMK Press
• Publication Year: 2024
• ISBN: 9785937003409