Еще
Логотип LiveLib

Это бета-версия LiveLib. Сейчас доступна часть функций, остальные из основной версии будут добавляться постепенно.

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

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

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

Жанры

Рейтинг LiveLib

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

Рецензии

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

Популярное

Цитаты

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

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

Все подборки