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