|
|
libcats.org
Верификация автоматных программ: Учебное пособиеВельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.
Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям ''Прикладная математика и информатика'', ''Управление и информатика в технических системах'' и ''Вычислительные машины, системы, комплексы и сети''. Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
День11. Кто сейчас летает?Автор: Харари К., Автор: Вейнтрауб П.Категория: Парапсихология
Размер книги: 6 Kb
The Fastest Runner Teacher Resource Guide (Carter High Chronicles (Highinterest Readers))Автор: Carol Hegarty
Размер книги: 139 Kb
Aspects of European History, 1494-1789 (University Paperbacks)Автор: Stephen J. LeeКатегория: История
Размер книги: 2.11 Mb
The Industrial Revolution in America: Iron and Steel, Railroads, Steam Shipping (Industrial Revolution in America)Автор: Kevin Hillstrom, Автор: Laurie Hillstrom
Размер книги: 3.73 Mb
Le dernier livre de la jungle (Polyptyque), tome 1Автор: Stephen Desberg, Автор: Henri Reculé
Размер книги: 36.85 Mb
The Royal Green JacketsАвтор: Christopher Wilkinson-Latham, Автор: Michael RoffeКатегория: История, Военная история
Размер книги: 9.84 Mb
Жизнь адмирала НахимоваАвтор: Зонин Александр ИльичКатегория: Историческая проза
Размер книги: 1.60 Mb
|
|
|