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

Лектор - Карпов Юрий Глебович <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/

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