Дом электронных книг » Программирование » Model Checking. Верификация параллельных и распределенных программных систем
Самые популярные книги за сутки

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


Model Checking. Верификация параллельных и распределенных программных системНазвание: Model Checking. Верификация параллельных и распределенных программных систем
Автор: Ю. Г. Карпов
Год : 2010
Страниц: 552
Формат: djvu
Размер: 12,2 Мб
Язык: русский
Качество: хорошее

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





Скачать книгу

Depositfiles.com
Turbobit.net



  • Добавил: Sniper-Forewer  15.02.2011 |
  • Просмотров: 691 |
  • Категория: Программирование |
  • Напечатать


  • Поделитесь книгой в соцсетях:

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