... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Учебные курсы . ... Создать новый курс. ... Удалить курс, для которого не созданы группы, нет подписанных на него пользователей и не загружены методические материалы, можно воспользовавшись ссылкой (Удалить) рядом с названием курса. ... Пользователь, подписанный на учебный курс, получает доступ к методическим материалам курса и к форуму по курсу, для полноценного процесса обучения (получения консультаций преподавателя, выполнения контрольных заданий) пользователя следует включить в учебную группу. ...
... О практикуме . Баллы . ... 31.08.2012 04:12 / admin . Начала работать новая страничка практикума по базам данных. Здесь можно будет найти методические материалы, текущие баллы и оценки, а также другую полезную информацию. ... Комиссия по практикуму . Зачет по практикуму . ... SQL Server для практикума . Практикум в осеннем семестре . Информация о зачете . ... Декабрь 2014 . Декабрь 2013 . Октябрь 2013 . ... Декабрь 2012 . ... Copyright 2012-2013 - spprac.cs.msu.ru . ...