Добро пожаловать!

Вход на сайт

Внимание! Новости из категории "Комиксы 18+" , "Журналы 18+" и "Фильмы 18+" на главной странице не публикуются.

Верификация программ методом Model Checking

Автор: natagu Дата: 26-06-2020, 05:13 Категория: Книги » Сетевые технологии » Программирование

Верификация программ методом Model Checking

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


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

Скачать Верификация программ методом Model Checking



Просмотров: 221 Отзывы: 0 Подняться наверх Вернуться

Комментарии

Добавить комментарий

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.