Автор: Миронов А.М.
Название: Верификация программ методом Model Checking
Издательство: М.: МГУ, Мех-мат
Год: 2012
Страниц: 86
Формат: djvu
Размер: 13,8 Мб
Язык: Русский

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