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

Материал из SEWiki
Перейти к: навигация, поиск

Лектор - Карпов Юрий Глебович

Практика - Шошмина Ирина Владимировна

Лекции

Лекция 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/

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

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