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

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

561 ₽

  • Бумажная книга
    Бумажная книга
    561 ₽
  • Электронная книга
    Электронная книга
    449 ₽

Описание

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

Детали

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

Отзывы

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

Будьте первым, кто оставил отзыв на “MODEL СHECKING. Верификация параллельных и распределенных программных систем”
Дополнительные файлы: Скачать