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

Материал из SEWiki
Перейти к: навигация, поиск
 
(не показаны 3 промежуточные версии 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]
 +
 
 +
== Домашние задания (курсовик) ==
 +
 
 +
Шошмина Ирина Владимировна
 +
ishoshmina@dcn.icc.spbstu.ru
 +
 
 +
Где найти:
 +
# по вторникам 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/

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