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