|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Верификация функциональных программдипломная работа (Специалист)
- Научные руководители: Корухова Ю.С., Пильщиков В.Н.
- Автор: Капитанова Валентина Игоревна
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2012
- Аннотация: В работе предложен метод верификации функциональных программ, основанный на автоматическом доказательстве теорем. Метод основан на применении дедуктивных таблиц, в которые добавляются утверждения о программе и её свойствах. Предложенный метод позволяет как показать выполнение свойств программы, заданных в форме постусловия и предусловия, так и эквивалентность функциональных программ. Предлагаемый метод верификации реализован в прототипной системе верификации программ на языке Лисп.
- Добавил в систему: Корухова Юлия Станиславовна