Название: Прикладные методы верификации программ
Автор: Непомнящий В.А., Рякин О.М.
Издательство: М.: Радио и связь
Год: 1988
Формат: PDF
Страниц: 256
Размер: 10 mb
Язык: русский

Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.

Предлагаемая вниманию книга В. А. Непомнящего и О. М. Рякина является одной из первых отечественных публикаций, излагающих современное состояние верификации программ В то же время уместно подчеркнуть, что линия доказательного программирования, в том числе в советской научной школе, восходит к истокам информатики и программирования. Строгая методика решения прикладных математических задач, сложившаяся в Институте прикладной математики АН СССР в начале 50-х годов, не только стала толчком к развитию автоматизации программирования с помощью трансляторов, но и предвосхитила многие идеи формальной спецификации задач. Автоматические решатели задач на вычислительных моделях, разработанные в конце 60-х годов в ряде научно-исследовательских институтов Таллина, заложили основы сборочного программирования и логического синтеза программ...