Еще
Логотип LiveLibЛента

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы
Карпов Ю.Г. - MODEL СHECKING. Верификация параллельных и распределенных программных систем
18+
User AvatarВаша оценка
5
(1)

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

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

Жанры

Издательство:

BHV-СПб

ISBN:

978-5-9775-0404-1

Год издания:

2009

Язык:

Русский

Возрастные ограничения:

18+

Рейтинг LiveLib

5,0
1 оценка
  • 5
    100%
  • 4
    0%
  • 3
    0%
  • 2
    0%
  • 1
    0%
User AvatarВаша оценка
Прочитали 1Хотят прочитать 1

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки