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

Материал из SEWiki
Перейти к: навигация, поиск
(Домашние задания (курсовик))
Строка 1: Строка 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. Введение]
 
[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"
  
 
== Список литературы ==
 
== Список литературы ==
Строка 17: Строка 23:
 
== Ссылки ==
 
== Ссылки ==
 
http://dcn.infos.ru/~karpov/
 
http://dcn.infos.ru/~karpov/
 +
 +
[https://docs.google.com/spreadsheet/ccc?key=0AhXYlwgjDSO_dEZYbDJIVm9pa0tNdDVzVUF3clJQSnc&usp=sharing#gid=0 Успеваемость]
 +
 +
[https://docs.google.com/file/d/0BxXYlwgjDSO_RzYxRHIwR1FCWkE/edit?usp=sharing Книга Верификация распределенных систем (Ю.Г. Карпов, И.В. Шошмина.)]

Версия 21:17, 24 октября 2013

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

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

Лекции

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

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

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