Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Практическая работа по верификации параллельных программ и протоколов (И.В.Шошмина, А.Б.Беляев)
Верификация параллельных и распределенных программных систем

Что: Лекция
Когда: Воскресенье, 18 марта 2012, 15:35–17:10
Где: ПОМИ РАН

Описание

В рамках семинара слушатели получат первоначальный практический опыт непосредственной работы с системой верификации SPIN, возможности и средства проверки корректности программ с помощью SPIN. Будет рассказано об особенностях установки и запуска системы SPIN на компьютерах слушателей, будут рассмотрены режимы работы системы, решены задачи с обнаружением тонких ошибок в параллельных программах и протоколах. Будут рассмотрены примеры использования системы SPIN и метода верификации Model checking не только для верификации параллельных программ, но и для решения логических задач, выявления атаки в криптографическом протоколе аутентификации Нидхема-Шредера и т.п.