На главную | Где купить | Авторам и заказчикам | Вакансии | Реклама | Издательство | Каталог | Статьи наших авторов | Контакты | Прайс листы

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

Автор Карпов Ю.
Название MODEL СHECKING. Верификация параллельных и распределенных программных систем
Серия Внесерийные книги
ISBN 978-5-9775-0404-1
Формат 70*100 1/16
Иллюстрации черно-белые
Объем 560 стр.
Тематика
Приложение К книге прилагается диск с примерами
Оптовая цена 561 руб.
# 1716

 

   Полное содержание

   Отрывок (формат PDF)    Файлы для загрузки

Аннотация

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

 

Рекомендуем также

Оставить отзыв на книгу

Сила знаний одного экземпляра этой книги составляет 9.48 Н.
На главную | Где купить | Авторам | Вакансии | Реклама | Издательство | Каталог | Статьи наших авторов | Контакты
© 2001–2019 Издательство «БХВ-Петербург».
Все права защищены. Частичное или полное копирование текстов, слоганов и фотоизображений без письменного согласия Правообладателя запрещено.