... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... О кафедре . ... Опубликовано avst в Март 13, 2016 - 20:27. ... Заседание спецсеминаров "Искусственный интеллект" и "Парадигмы программирования" 15 марта 2016 г. будет совместным и пройдет (как обычно, в 18:00) в ауд. 526-б . ... В прикрепленном файле ответы на 2 вариант экзамена по курсу "Языки программирования" . ... Опубликовано avst в Декабрь 21, 2015 - 21:03. ... 2 поток - в 10.00, ауд. ... к.ф.-м.н. Математический спецкурс кафедры алгоритмических языков . ... кафедра АЯ ВМК МГУ, 2009 2014 . ...
... Положение об Олимпиаде . ... Настоящее Положение об Олимпиаде школьников по прикладной математике и информатике факультета ВМК МГУ имени М. В. Ломоносова (далее ? Положение ) определяет порядок организации и проведения Олимпиады школьников по прикладной математике и информатике факультета ВМК МГУ имени М. В. Ломоносова (далее ? Олимпиада ), ее организационное, методическое и финансовое обеспечение, порядок участия в Олимпиаде учащихся и порядок определения победителей и призеров. ...