ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Семинар "Программные семантики, спецификации и верификация" является ведущим событием в России в области применения формальных методов в разработке и анализе программного обеспечения. В 2018 году девятый семинар PSSV был проведен в Ярославле на базе Ярославского государственного университета имени П.Г. Демидова. Первые восемь семинаров прошли в 2010 году в Казани, в 2011 году в Санкт-Петербурге, в 2012 году в Нижнем Новгороде, в 2013 году в Екатеринбурге, в 2014 году в Москве и в 2015 году в Казани, в 2016 году в Санкт-Петербурге, в 2017 году в Москве. На семинар приезжают ведущие российские и зарубежные ученые в области спецификаций, верификации и формальных методов. Основные направления, освещаемые на семинаре, связаны с верификацией, спецификациями программ и методами анализа программ.