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

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