Методы формальной верификации программ 2013 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(Домашние задания)
 
(не показаны 2 промежуточные версии 2 участников)
Строка 1: Строка 1:
Лектор - Карпов Юрий Глебович
+
Лектор - Карпов Юрий Глебович <karpov@dcn.infos.ru>
  
Практика -
+
Практика - Шошмина Ирина Владимировна <ishoshmina@dcn.icc.spbstu.ru>
  
 
== Лекции ==
 
== Лекции ==
 
[http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D0%B8/Lecture%201%20Introduction.pdf Лекция 1. Введение]
 
[http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D0%B8/Lecture%201%20Introduction.pdf Лекция 1. Введение]
 +
 +
[https://docs.google.com/file/d/0BxXYlwgjDSO_STNoT3pNOHNLbFU/edit?usp=sharing Лекция про SPIN]
  
 
== Домашние задания (курсовик) ==
 
== Домашние задания (курсовик) ==
Строка 11: Строка 13:
 
ishoshmina@dcn.icc.spbstu.ru
 
ishoshmina@dcn.icc.spbstu.ru
  
Где найти: по вторникам 16.00 - 20.00, 9-й корпус политеха, ауд. 105а
+
Где найти:
 +
# по вторникам 16.00 - 20.00, 9-й корпус политеха (ФТК), ауд. 105а
 +
# по четвергам (с декабря), 14:00-16:00 в АУ
 +
 
 +
О посещении в другое время необходимо договариваться заранее по почте: ishoshmina@dcn.icc.spbstu.ru
  
 
== Список литературы ==
 
== Список литературы ==
 +
[https://docs.google.com/file/d/0BxXYlwgjDSO_RzYxRHIwR1FCWkE/edit?usp=sharing Книга Верификация распределенных систем (Ю.Г. Карпов, И.В. Шошмина.)]
  
 
== Ссылки ==
 
== Ссылки ==
 
http://dcn.infos.ru/~karpov/
 
http://dcn.infos.ru/~karpov/
 +
 +
[https://docs.google.com/spreadsheet/ccc?key=0AhXYlwgjDSO_dEZYbDJIVm9pa0tNdDVzVUF3clJQSnc&usp=sharing#gid=0 Успеваемость]

Текущая версия на 21:19, 24 октября 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/

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