Vtome.ru - электронная библиотека

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

  • Добавил: umkaS
  • Дата: 29-04-2023, 09:43
  • Комментариев: 0
Название: Model Checking. Верификация параллельных и распределенных программных систем
Автор: Карпов Ю.Г.
Издательство: СПб.: БХВ-Петербург
Год: 2010
Cтраниц: 560
Формат: pdf
Размер: 15 мб
Язык: русский

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

Скачать Карпов Ю.Г. - Model Checking: Верификация параллельных и распределенных программных систем













ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!


ПРАВООБЛАДАТЕЛЯМ


СООБЩИТЬ ОБ ОШИБКЕ ИЛИ НЕ РАБОЧЕЙ ССЫЛКЕ



Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.