Главная Регистрация Вход

Для работы в проекте нужно Зарегистрироваться или Войти.

Теперь вы можете получать деньги, добавляя книги на наш сайт. Подробнее об этом читайте здесь.

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

Карпов Ю.Г.
Model

Название Model Checking. Верификация параллельных и распределенных программных систем
Автор Карпов Ю.Г.
Издательство БХВ-Петербург
Год 2010
Метки темпоральные логики model checking CTL LTL
Размер 11.89 МБ
Рейтинг книги
6.50
(6)


10

СКАЧАТЬ И ЧИТАТЬ КНИГУ(litres.ru)

БУМАЖНАЯ ВЕРСИЯ КНИГИ


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



Популярные книги раздела
Компьютерные сети. Принципы, технологии, протоколы
Олифер В.Г., Олифер Н.А.
Основы компьютерных сетей
Олифер В.Г., Олифер Н.А.
Чтобы оставить отзыв от имени, Зарегистрируйтесь или войдите на сайт.