Автор: Миронов А.М. Название: Верификация программ методом Model Checking Издательство: М.: МГУ, Мех-мат Год: 2012 Страниц: 86 Формат: djvu Размер: 13,8 Мб Язык: Русский
Основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня излагаются в этой книге. Автоматизация наиболее трудоемких этапов верификации программ. В учебном пособии рассказывается о результатах в области верификации с помощью метода Model Checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы Model Checking для CTL и LTL, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы. Книга может быть полезна программистам и инженерам, специализирующимся в области вычислительной технике и прикладной математики. Пособие предназначено для студентов вузов, специализирующимся в области теоретической и практической информатики.
Верификация моделей программ: Model Checking Название: Верификация моделей программ: Model Checking Автор: Кларк Э.М., Грамберг О., Пелед Д. Издательство: М.: МЦНМО Год: 2002 ISBN: 5940570542...
Верификация программного обеспечения (2017) Название: Верификация программного обеспечения Автор: Синицын С.В., Налютин Н.Ю. Издательство: М.: Интуит; Саратов: Вузовское образование Год: 2017...
Handbook of Model Checking Название: Handbook of Model Checking Автор: Edmund M. Clarke Издательство: Springer Год: 2018 Страниц: 1210 Формат: PDF Размер: 14 Mb Язык: English ...
Прикладные методы верификации программ Название: Прикладные методы верификации программ Автор: Непомнящий В.А., Рякин О.М. Издательство: М.: Радио и связь Год: 1988 Формат: PDF Страниц:...
Программирование на языках высокого уровня Название: Программирование на языках высокого уровня Автор: Голицына О.Л., Попов И.И. Издательство: Форум Серия: Профессиональное образование...
Верификация программного обеспечения Название: Верификация программного обеспечения Автор: Синицын С.В., Налютин Н.Ю. Издательство: M.: НОИ Интуит Год: 2016 Страниц: 446 Формат: pdf...
Навигация
Вход на сайт
Реклама
Верификация программ методом Model Checking 
