Иконка меню Поиск

  По разделам

Этот параграф содержит ссылку.


Иконка меню  Журналы по разделам

Этот параграф содержит ссылку.


 Партнеры




 Реклама



Model Checking. Верификация параллельных и распределенных программных систем

Model Checking. Верификация параллельных и распределенных программных системАвтор: Ю. Г. Карпов
Название: Model Checking. Верификация параллельных и распределенных программных систем
Издательство: БХВ-Петербург
Год: 2010
Страниц: 552
ISBN: 978-5-9775-0404-1
Формат: djvu
Размер: 12,2 Мб
Язык: русский
Качество: хорошее

В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.

Забрать:

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
      Добавил: Julia    Комментарии: 0    Просмотров: 2973   

Смотрите также по теме:

    КОМПАС-3D V8. Наиболее полное руководство КОМПАС-3D V8. Наиболее полное руководство
    Автор: Е. М. Кудрявцев Издательство: ДМК Год: 2006 Страниц: 928 Формат: PDF Размер архива: 23,19 Mb   В книге излагаются основы работы в системе КОМПАС-3D V8, даётся описание структуры системы, главной и инструментальных панелей, ...

    Системы управления электроприводов Системы управления электроприводов
    Название: Системы управления электроприводов Издательство: Академия Автор: Терехов В.М., Осипов О.И. ISBN: 5-7695-2911-3 Год: 2005 Страниц: 304 Формат: pdf, djvu Размер: 149 Мб Язык: русский В книге Системы управления электроприводов ...

    Системы управления эффективностью бизнеса (+CD) Системы управления эффективностью бизнеса (+CD)
    Автор: Н.М. Абдикеев, О.В. Китова Название: Системы управления эффективностью бизнеса (+CD) Серия: Учебники для прогpаммы МВА Издательство: ИНФРА-М Год издания: 2010 Страниц: 282 ISBN: 978-5-16-003991-6 Формат: DJVU Размер: 67,7 МБ Язык: Русский ...

    Системы управления предприятием или Системы управления предприятием или "Рояль в кустах"
    Автор: Клюев В.В. Название: Системы управления предприятием или "Рояль в кустах" Год издания: 2011 Страниц: 19 Формат: pdf Размер: 10,78 Мб Язык: Русский Качество: хорошее Описание Пособие для предпринимателей, людей своего дела по разработке и ...

    Цифровые сотовые системы связи Цифровые сотовые системы связи
    Автор: Берлин А. Н. Название: Цифровые сотовые системы связи Год : 2007 Страниц: 296 ISBN: 978-5-88405-087-7 Формат: DJVU Размер: 7 Мб Язык: Русский Качество: хорошее В книге раскрыты основы, принципы функционирования и построения цифровых сотовых ...




Иконка меню  Личный кабинет
Иконка меню  Партнеры




   © Портал саморазвития и самообразования, 2014