Миронов А.М. - Верификация программ методом Model Checking » Мир книг » Электронная библиотека

26  июн

Миронов А.М. - Верификация программ методом Model Checking

Добавил natagu в категорию Книги / ПК и Интернет


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


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

Скачать А.М. Миронов - Верификация программ методом Model Checking




Купить эту книгу в бумажном исполнении с доставкой




Рекомендуем к просмотру:






Информация

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