Верификация алголо-подобных программ методом индуктивных высказываний Черноброд, Людмила Викторовна

Краткое описание

Черноброд, Людмила Викторовна.
Верификация алголо-подобных программ методом индуктивных высказываний : диссертация ... кандидата физико-математических наук : 01.01.10. - Новосибирск, 1983. - 121 с. : ил.
Оглавление диссертациикандидат физико-математических наук Черноброд, Людмила Викторовна
Введение. . . ».
• Глава I. Обзор литературы
Глава П. Логика программ.
§ I. Си®тема Хоара.
§ 2. Полнота системы Хоара.
§ 3. Модифицированная система Хоара.
Выводы..
Глава Ш. Контроль типов с использованием верификации программ.
§ I. Анализ поведения программы на совокупности типов данных.
§ 2. Система проверки правильности программ относительно структуры объектов.
§ 3. Пример построения вывода утверждения о программе.
§ 4. Непротиворечивость системы
Выводы.
Глава 17.Формализация предметных областей в автоматическом доказательстве.
§ I. Упрощающие стратегии.
§ 2. Пример формального описания: задача об испорченной" шахматной доске.
§ 3. Автоматическое доказательство.
Выводы.
Глава У. Машинный эксперимент.
§ I. Общая характеристика системы проверки утверждений о программах СПРУТ.
§ 2. Иллюстрация работы системы.
§ 3. Примеры верификации программ.
Выводы.