Книжный интернет-фонд "Книга-Дива.ру". Все ваши книги в одном месте - здесь!

MODEL CHECKING. Верификация параллельных и распределенных программных систем + CD
Автор(ы)Карпов Ю.
ИздательБХВ-Петербург
Год2010
ISBN978-5-9775-0404-1
EAN
ОбложкаПереплет
Формат70x100/16
Вес (г)32767
Страниц552
Просмотров33
Стандарт
Описание

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

Возможность скачать/купить MODEL CHECKING. Верификация параллельных и распределенных программных систем + CD.epub у БХВ-Петербург

Поделиться с друзьями!

Хотите эту книгу/словарь/учебник в переплёте или в формате fb2 epub mobi doc docx djvu txt pdf? Нажимайте ниже ссылки или кнопки [В магазин] или [Читать].