Спецификация и верификация систем и сетей : учебно-методическое пособие; для бакалавров по направлению подготовки "Информатика и вычислительная техника" для лабораторных работ по дисциплине "Спецификация и верификация систем и сетей" / В. Л. Оленев, Н. Ю. Чумакова ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский государственный университет аэрокосмического приборостроения"
Язык: русский.Выходные данные: Санкт-Петербург : ГУАП, 2023Физическая характеристика: 85 с. : ил., табл. ; 21 см.Резюме: Описан подход к формальной верификации систем - model checking, приводится представление системы в виде моделей Крипке, а также процесс создания спецификаций системы при помощи формул темпоральной логики. Кроме того, в пособии представлен пример осуществления процесса проверки на модели для формул CTL. В учебно-методическом пособии рассмотрены два различных программных средства, предназначенных для моделирования и верифи- кации систем: SPIN с применением языка Promela и программный комплекс nuXmv. Кроме того, в пособии приведено задание на семестровый студенческий проект, состоящий из четырех лабораторных работ, а также пример реализации этого проекта.Библиография: Библиогр.: с. 83 (9 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация -- Учебно-методические пособия для высших учебных заведений | Программы(компьют.) -- Технические требования -- Учебно-методические пособия для высших учебных заведений | SPIN, система программирования -- Учебно-методические пособия для высших учебных заведений | NUXMV, система программирования -- Учебно-методические пособия для высших учебных заведений УДК: 004.45(075.8), 4Другие классификации: ( rubbks ) 32.973.11я73 ; З973.2-018я73-1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж, Хран. | 2024-4/1136 (Просмотр полки(Открывается ниже)) | КН-П-128 | Доступно | 1-4492295 |
Библиогр.: с. 83 (9 назв.)
Описан подход к формальной верификации систем - model checking, приводится представление системы в виде моделей Крипке, а также процесс создания спецификаций системы при помощи формул темпоральной логики. Кроме того, в пособии представлен пример осуществления процесса проверки на модели для формул CTL. В учебно-методическом пособии рассмотрены два различных программных средства, предназначенных для моделирования и верифи- кации систем: SPIN с применением языка Promela и программный комплекс nuXmv. Кроме того, в пособии приведено задание на семестровый студенческий проект, состоящий из четырех лабораторных работ, а также пример реализации этого проекта