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