Программирование »

Скачать Верификация автоматных программ бесплатно

  • Sultan
  • 17 июль 2011
  • 18:25:43
  • 496
  • 0
 Верификация автоматных программ

Название: Верификация автоматных программ
Автор: С.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов
Издательство: СПбГУ ИТМО
Год: 2011
Формат: pdf
Размер: 3,27 mb

В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.

Скачать с depositfiles.com
Скачать с turbobit.net
Скачать с letitbit.net

Похожие публикации:
Поделитесь ссылкой на книгу со своими друзьями:

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