|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Практикум по дедуктивной верификации программкнига
- Авторы: Буздалов Д.В., Корныхин Е.В., Панфёров А.А., Петренко А.К., Хорошилов А.В.
- Год издания: 2014
- Место издания: Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс
- Объём: 100 страниц (6,0 печатных листов)
- ISBN: 978-5-89407-531-0
- Учебное пособие без грифа
- Аннотация: Данное пособие посвящено основным понятиям дедуктивной верификации последовательных программ. Дедуктивная верификация позволяет формально обосновать, что программа выполняет формализованные требования путем построения набора утверждений и доказательства их истинности. В качестве методов дедуктивной верификации в пособии рассматриваются методы Флойда (или Хоара-Флойда). Пособие рекомендуется студентам, осваивающим методы формальной верификации программ, а также аспирантам и преподавателям
- Добавил в систему: Панфёров Антон Александрович