Методы формальной верификации программ 2013

Материал из SEWiki
Версия от 21:19, 24 октября 2013; SemenMartynov (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Лектор - Карпов Юрий Глебович <karpov@dcn.infos.ru>

Практика - Шошмина Ирина Владимировна <ishoshmina@dcn.icc.spbstu.ru>

Лекции

Лекция 1. Введение

Лекция про SPIN

Домашние задания (курсовик)

Шошмина Ирина Владимировна ishoshmina@dcn.icc.spbstu.ru

Где найти:

  1. по вторникам 16.00 - 20.00, 9-й корпус политеха (ФТК), ауд. 105а
  2. по четвергам (с декабря), 14:00-16:00 в АУ

О посещении в другое время необходимо договариваться заранее по почте: ishoshmina@dcn.icc.spbstu.ru

Список литературы

Книга Верификация распределенных систем (Ю.Г. Карпов, И.В. Шошмина.)

Ссылки

http://dcn.infos.ru/~karpov/

Успеваемость