Пошук академічних текстів

Інформація × Реєстраційний номер 0493U001038, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 18-12-1992 Статус Запланована Назва роботи Модели, вычисления и методы доказательства индуктивных утверждений для эквациональных спецификаций с частичными функциями Здобувач Найдич Дмитрий Эдуардович, Керівник Андон П.И. Керівник Коваль В.М. Опонент Летичевский О.А. Опонент Дегтярев А.И. Опис Объект исследования: Эквациональные спецификации с частичными функциями. Цель исследования: Разработка новых высоко автоматизированных исчислений для доказательства индуктивных утверждений. Методы исследования и аппаратура: Теория эквациональных спецификаций, принципы "безиндукционной" индукции и индуктивного пополнения. Теоретические результаты и новизна: Предложены новые высоко автоматизированные исчисления для доказательства индуктивных положений. Практические результаты и новизна: С помощью разработанных исчислений решена задача верификации компилятора. Предмет и степень внедрения: Автоматизированные методы верификации спецификации (техническое задание на НИР согласно решению ДКНТ Украины). Эффективность внедрения: Качественное повышение надежности проектирования программных систем. Сфера (область) использования: Проектирование сложных программных систем. Дата реєстрації 1993-03-28 Додано в НРАТ 2021-03-18 Закрити