978-5-9775-0404-1
Книга: MODEL CHECKING Верификация...
ВУЗ, CD внутр
| Товар отсутствует |
| Узнать о поступлении |
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. .На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданиями.
В этой категории:
-
Машинное обучение с помощью Python. Руководство для специалистов по работе с данными
руководство для специалистов по работе с данными
1 643 руб. -
-
-
Анализ поведенческих данных на R и Python
как улучшить бизнес-результаты на основе данных клиентов
2 152 руб.
