|
Booksee.org
Верификация автоматных программ: Учебное пособиеВельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.
Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям ''Прикладная математика и информатика'', ''Управление и информатика в технических системах'' и ''Вычислительные машины, системы, комплексы и сети''. Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Всероссийские олимпиады по физике 1992-2001Козел С.М., Слободянин В.П. (ред.)Категория: Physics, School-level
4.32 Mb
#4
ПАЭС-2500. Передвижная газотурбинная электростанция. Инструкция по эксплуатации. 0350000000-02-25 Редакция 2
11.17 Mb
#8
Технология металлов и материаловедениеКнорозов Б. В., Усова Л. Ф., Третьяков А. В., Китаев Я.А., Филькин В.М., Шевченко А.А., Усов Г.А.
21.51 Mb
#10
Алгебра и начала математического анализа. 11 класс : учебник для общеобразовательных учреждений : базовый и профильный уровниНикольский С.М. и др.Категория: Физико-математические науки -- Математика -- Элементарная алгебра -- Учебник для средней общеобразовательной школы, Физико-математические науки -- Математика -- Введение в математический анализ -- Учебник для средней общеобразовательной школы, Алгебра, Ма
43.24 Mb
|
|