Бесплатная библиотека - 1 338 003 изданий в библиотеке

Верификация автоматных программ

Книга Верификация автоматных программ


Название: Верификация автоматных программ
Автор: С.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов
Издательство: СПбГУ ИТМО
Год: 2011
Формат: pdf
Размер: 3,27 mb
В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.
Скачать с depositfiles.com
Скачать с turbobit.net
Скачать с letitbit.net

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12793 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Подшивка журналов: Автоцентр №№20-21 (2014)

    Подшивка журналов: Автоцентр №№20-21 (2014)

    Подшивка журналов: Автоцентр №№20-21 (2014)Еженедельный журнал "Автоцентр" полностью посвящен миру автомобилей. Основные рубрики: Автосалон, Автополигон, Концепции, Авторынок, Автобизнес, События и вы . . .

  • Книга Журнал: Cosmopolitan Shopping №5 (май 2014)

    Журнал: Cosmopolitan Shopping №5 (май 2014)

    Журнал: Cosmopolitan Shopping №5 (май 2014)Cosmopolitan Shopping - незаменимый гид по стильным покупкам. Это модный, интересный и полезный журнал, который всегда готов ответить на три главных вопроса . . .

  • Книга Подшивка журналов: Extreme How-To №№5, 6 (май, июнь 2014) [En]

    Подшивка журналов: Extreme How-To №№5, 6 (май, июнь 2014) [En]

    Подшивка журналов: Extreme How-To №№5, 6 (май, июнь 2014) [En]Журнал "Extreme How-To" поставляет самую последнюю информацию об инструментах, оборудовании и технологиях ремонта дома и техники для умель . . .

  • Книга Добрый батюшка Саровский

    Добрый батюшка Саровский

    Название: Добрый батюшка СаровскийАвтор: Никулина С.О.Страниц: 63Формат: DjVuРазмер: 10,20 MbЖитие прп. Серафима Саровского для детейСАЧАТЬ . . .

  • Книга СКАЗКИ - Корней Чуковский

    СКАЗКИ - Корней Чуковский

    Название: СказкиАвтор: Корней ЧуковскийСтраниц: 126Размер: 29,88 MbФормат: DjVuСодержание: Мойдодыр, Телефон, Муха-Цокотуха, Тараканище, Айболит, Путаница, Бармалей, Топтыгин и Лиса, Федорино горе, Кр . . .

  • Книга Они должны жить. Млекопитающие

    Они должны жить. Млекопитающие

    Автор: Черкасова М. В.Название: Они должны жить. МлекопитающиеИздательство: Лесн. промышленностьГод: 1982 г.Формат: DJVUРазмер: 3,86 Mб Настоящий выпуск альбома посвящён млекопитающим, которым угрожае . . .

  • Книга Журнал: UPgrade №18 (674) (май 2014)

    Журнал: UPgrade №18 (674) (май 2014)

    Журнал: UPgrade №18 (674) (май 2014)UPgrade – самый популярный еженедельный компьютерный журнал России. В нем рассматривается самые интересные новинки компьютерного железа, даются многочисленные полез . . .

  • Книга Журнал: Азбука вязания №4 (2014)

    Журнал: Азбука вязания №4 (2014)

    Журнал: Азбука вязания №4 (2014)В новом номере журнала подробные мастер-классы по вязанию вытянутых петель, уро-ки вязания для начинающих, современные модели одежды аксессуаров для вас и вашей семьи. . . .

  • Книга Patchwork Puzzle Balls

    Patchwork Puzzle Balls

    Title:Patchwork Puzzle Balls By Jinny BeyerPublisher: Breckling Press 2005Pages 96ISBN: 0972121854PDF 5.3 MBFun and quick to make, fabric balls are great for indoor play, for home-decor accents, . . .

  • Книга Газета: Готовим вкусно! №6 (131) (июнь 2014)

    Газета: Готовим вкусно! №6 (131) (июнь 2014)

    Газета: Готовим вкусно! №6 (131) (июнь 2014)"Готовим вкусно!" - издание для тех, кто любит вкусно приготовить, вкусно поесть, вкусно угостить друзей. Красочное издание для радушных хозяек. В нем расск . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Верификация автоматных программ. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.