Получать уведомления на электронную почту, если появились:
Подписаны
Книги издательства 45
Закрыть
Чтобы подписаться сообщите адрес электронной почты
Введите корректный адрес электронной почты
Подписаться 45 Вы подписаны 45

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

№ 1091968
Получать уведомления на электронную почту, если появились:
Подписаны
Книги издательства 45
Закрыть
Чтобы подписаться сообщите адрес электронной почты
Введите корректный адрес электронной почты
Подписаться 45 Вы подписаны 45
25,98 руб.–22%
Вы экономите 7,45 руб.
Ваша скидка 22%
33,43 руб.
Уже в корзине
Под заказ. Поставка 21 декабря

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

На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий.

Издательство BHV
Год издания 2010
Страниц 560
Приложение Прилагается CD
Формат 70х100/16 (170х240 мм, увеличенный)
ISBN 978-5-9775-0404-1
Изготовитель ООО "Издательство "БХВ-Петербург". 194100, РФ, г. Санкт-Петербург, пр-т Лесной, 37/1Б
Импортер ООО «НТЦ АПИ», г. Минск, ул. Уманская, 54, пом. 1, каб. 34

Содержание

Глава 1. Проблема верификации
Глава 2. Темпоральные логики
Глава 3. Алгоритм model checking для CTL
Глава 4. Алгоритм model checking для LTL
Глава 5. Структуры Крипке как модели реагирующих систем
Глава 6. Спецификация свойств реагирующих систем формулами темпоральной логики
Глава 7. Примеры верификации
Глава 8. Применения алгоритма model checking
Глава 9. Бинарные решающие диаграммы
Глава 10. Символьная верификация
Глава 11. Количественный анализ систем
Глава 12. Системы реального времени

Наверх

Вход

В течение нескольких секунд вам придёт SMS с одноразовым кодом для входа. Если ничего не пришло — отправьте код ещё раз.
Получите доступ к персональным скидкам и акциям, ускорьте оформление заказов.
Войдите с помощью своего профиля

Регистрация

Введите номер вашего мобильного телефона:
Войдите с помощью электронной почты или номера телефона
Войдите с помощью своего профиля

Восстановление пароля

Укажите адрес электронной почты, который вы использовали при регистрации
Нужна помощь? Звоните 695-25-25 (МТС, velcom, life:) или напишите нам

Восстановление пароля

Инструкции по восстановлению пароля высланы на 
Нужна помощь? Звоните 695-25-25 (МТС, velcom, life:) или напишите нам
Приходите в будние дни с 10 до 20, в субботу с 10 до 17. Воскресенье — выходной
695-25-25 МТС, velcom, life:)

Магазин OZ

Магазины OZ

Минск
Ещё 
В будние дни с 10 до 20
В субботу с 10 до 17
Воскресенье — выходной
695-25-25 МТС, velcom, life:)