Методы формальной верификации программ 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>
Лекции
Домашние задания (курсовик)
Шошмина Ирина Владимировна ishoshmina@dcn.icc.spbstu.ru
Где найти:
- по вторникам 16.00 - 20.00, 9-й корпус политеха (ФТК), ауд. 105а
- по четвергам (с декабря), 14:00-16:00 в АУ
О посещении в другое время необходимо договариваться заранее по почте: ishoshmina@dcn.icc.spbstu.ru
Список литературы
Книга Верификация распределенных систем (Ю.Г. Карпов, И.В. Шошмина.)
