Четверг, 17.01.2019, 11:49
Приветствую Вас Гость | RSS

Радио сайт

Меню сайта
Форма входа
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Ввод/Вывод WM
Обменный пункт
Главная » 2018 » Декабрь » 22 » Model Checking. Верификация параллельных и распределенных программных систем
12:50
Model Checking. Верификация параллельных и распределенных программных систем

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

Название: Model Checking. Верификация параллельных и распределенных программных систем
Автор: Карпов Ю. Г.
Издательство: БХВ-Петербург
Год: 2010
Страниц: 560
Формат: PDF
Размер: 14,99 МБ
Качество: отличное
Язык: русский

Скачать Model Checking. Верификация параллельных и распределенных программных систем
Скачать с turbobit.net
Скачать с katfile.com
Скачать с uploadocean.com
Скачать с www.up-4.net
Категория: Компьютер | Просмотров: 27 | Добавил: Admin | Теги: верификация, распределенных, model, Checking, параллельных, систем, программных, 2010 | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск
Календарь
«  Декабрь 2018  »
ПнВтСрЧтПтСбВс
     12
3456789
10111213141516
17181920212223
24252627282930
31
Красото, здоровье
Архив записей
Реклама на сайте