Семинар состоится с 11 по 12 марта. 

Мероприятие проведёт известный французский учёный и заведующий Лабораторией программной инженерии и верификации программ Университета Иннополис Бертран Мейер, его заместитель профессор Мануэль Маццара и создатель программы Autoproof Джулиан Шанеен.

Autoproof является системой автоматической верификации продуктов, написанных на языке Eiffel. Основная цель семинара – показать на практике, как при помощи Autoproof осуществляется проверка программ, написанных на Eiffel.
В ходе первого дня будет представлена общая картина технологий Microsoft, на которых основывается система верификации, а также будет оказана помощь при установке необходимого программного обеспечения. Второй день будет посвящен практическому применению программы Autoproof, где слушателям будут представлены на рассмотрение различные задания с возрастающей сложностью.

Семинар состоится в здании Университета Иннополис на улице Профсоюзной 40/42 в аудитории №315. Начало в 10:00.

Фото: http://se.inf.ethz.ch

ПРИСОЕДИНЯЙТЕСЬ