Книга: Шипов Андрей «Система автоматического поиска инварианта цикла. Проблема, анализ и реализация»
|
Серия: "-" Задача верификации программного обеспечения становится сегодня все более востребованной, так как сложность программных систем с каждым днем постоянно растет, и мы все больше сталкиваемся с теми или иными сбоями в их работе. Инвариантом в программировании называется логическое выражение, зависящее от переменных в теле цикла и истинное, как перед его выполнением, так и после. Знание инварианта для конкретного цикла позволяет выполнить проверку на корректность его работы. В данной книге делается попытка разработки такой программной системы, которая позволила бы реализовать автоматический поиск инвариантов для конкретно заданных циклов и частично автоматизировать процесс верификации программ. Данная книга будет интересна иполезна, как опытным программистам, так и тем, кто просто интересуется проблемой верификации программного обеспечения. Издательство: "OmniScriptum GmbH&Co. KG" (2014)
Купить за 7418 руб в My-shop |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|
См. также в других словарях:
Шипов, Андрей Клементьевич — дьяк 1627 29 г.; 1658 г. дворянин московский. {Половцов} … Большая биографическая энциклопедия
Слюсарчук, Андрей Тихонович — Андрей Тихонович Слюсарчук Род деятельности: шоумен, доктор наук, профессор нейрохирургии (документы, свидетельствующие об этих титулах, имеют статус легальных в Украине, формально проведены и подтверждены МОН Украины. Правомерность их выдачи… … Википедия
Финягин, Андрей Владимирович — Андрей Финягин Имя при рождении: Андрей Владимирович Финягин Дата рождения: 25 декабря 1977(1977 12 25) (35 лет) Место рождения: Москва, Россия … Википедия
Зверев, Андрей Викторович — Андрей Викторович Зверев 22 й Председатель Государственного банка СССР 1991 год 26 декабря 1991 года … Википедия
Вавилов, Андрей Петрович — В Википедии есть статьи о других людях с такой фамилией, см. Вавилов. Андрей Петрович Вавилов государственный и политический деятель, экономист … Википедия
Шингарёв, Андрей Иванович — А. И. Шингарёв. Почтовая открытка. Андрей Иванович Шингарёв (18 (30) августа 1869 года, ок. села Борового Воронежского уезда Воронежской губернии 7 (20) января 1918 года, Санкт Петербург) … … Википедия
