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

Карпов Юрий Глебович
Артикул1716
ISBN 978-5-9775-0404-1
Количество страниц 560
Формат издания 170 x 240 мм
Печать Черно-белая
SKU 56887
Серия Внесерийные книги

773 ₽

  • Бумажная книга
    Бумажная книга

    773₽
  • Электронная книга
    Электронная книга

    349₽

Описание

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

Детали

Артикул 1716
ISBN 978-5-9775-0404-1
Количество страниц 560
Серия Внесерийные книги
Переплет Твердый переплет
Печать Черно-белая
Год 2010
Габариты, мм 240 × 170 × 26
Вес, кг 0.627

Отзывы

Отзывов пока нет.

Будьте первым, кто оставил отзыв на “MODEL СHECKING. Верификация параллельных и распределенных программных систем”
Дополнительные файлы скачать: Зеркало1
Дополнительные файлы скачать (Chrome): Зеркало2
Рассылка email
  • Новинки на 2 недели раньше магазинов
  • Цены от издательства ниже до 30%
  • Акции и скидки только для подписчиков
  • Важные новости БХВ
Подписываясь на рассылку, вы соглашаетесь с политикой конфиденциальности и обработкой своих персональных данных.