Search academic texts

Information × Registration Number 0493U001038, Candidate dissertation Status к.ф.-м.н. Date 18-12-1992 popup.evolution o Title Author Найдич Дмитрий Эдуардович, popup.head Андон П.И. popup.head Коваль В.М. popup.opponent Летичевский О.А. popup.opponent Дегтярев А.И. Description Объект исследования: Эквациональные спецификации с частичными функциями. Цель исследования: Разработка новых высоко автоматизированных исчислений для доказательства индуктивных утверждений. Методы исследования и аппаратура: Теория эквациональных спецификаций, принципы "безиндукционной" индукции и индуктивного пополнения. Теоретические результаты и новизна: Предложены новые высоко автоматизированные исчисления для доказательства индуктивных положений. Практические результаты и новизна: С помощью разработанных исчислений решена задача верификации компилятора. Предмет и степень внедрения: Автоматизированные методы верификации спецификации (техническое задание на НИР согласно решению ДКНТ Украины). Эффективность внедрения: Качественное повышение надежности проектирования программных систем. Сфера (область) использования: Проектирование сложных программных систем. Registration Date 1993-03-28 popup.nrat_date 2021-03-18 Close