Таблица | Карточка | RUSMARC | |
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Учебное пособие соответствует содержанию авторского курса "Технология программирования. Верификация параллельных и распределенных программных систем" для студентов, обучающихся по направлению 230100 магистерской подготовки "Информатика и вычислительная техника". Рассмотрены вопросы актуальности проблемы верификации сложных программных систем, разрабатываемых для критических применений. Изложены темпоральные логики LTL, CTL и CTL*, используемые для спецификации свойств параллельных и распределенных систем, представлены алгоритмы верификации реагирующих систем для случаев, когда свойства их поведения представлены формулами логик CTL и LTL. Главное внимание уделено ясности изложения: введенные темпоральные логики объясняются на большом числе примеров, алгоритмы верификации подробно разъясняются, каждая глава сопровождается задачами. Предназначено для студентов высших учебных заведений, обучающихся по направлению "Информатика и вычислительная техника", для преподавателей, инженеров и научных работников.
Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного политехнического университета.
Права на использование объекта хранения
Место доступа | Группа пользователей | Действие | ||||
---|---|---|---|---|---|---|
Локальная сеть ИБК СПбПУ | Все | |||||
Интернет | Авторизованные пользователи СПбПУ | |||||
Интернет | Анонимные пользователи |
Оглавление
- ОГЛАВЛЕНИЕ
- Предисловие
- Глава 1. Проблема верификации
- Глава 2. Темпоральные логики
- Глава 3. Алгоритм model checking для CTL
- Глава 4. Алгоритм model checking для LTL
- Заключение
- Библиографический список
Статистика использования
Количество обращений: 29
За последние 30 дней: 1 Подробная статистика |