ИСТИНА

• Охват: Международная
• Даты проведения: 14-15 июня 2016
• Место проведения: Санкт-Петербург, Russia
• Организатор:
  Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
• Число участников: 20
• Число иностранных участников: 3
• Число участников из МГУ: 2
• Число докладчиков: 16
• Веб-сайт: http://logic.pdmi.ras.ru/csr2016/pssv16
• Описание конференции:

  Семинар "Программные семантики, спецификации и верификация" является ведущим событием в России в области применения формальных методов в разработке и анализе программного обеспечения. В 2016 году седьмой семинар PSSV пройдет в Санкт-Петербурге совместно с конференцией "Computer Science Symposium" (CSR-2016). Первые шесть семинаров прошли в 2010 году в Казани, в 2011 году в Санкт-Петербурге, в 2012 году в Нижнем Новгороде, в 2013 году в Екатеринбурге, в 2014 году в Москве и в 2015 году в Казани. На семинар приезжают ведущие российские и зарубежные ученые в области спецификаций, верификации и формальных методов. Основные направления, освещаемые на семинаре, связаны с верификацией, спецификациями программ и методами анализа программ. Основные направления, освещаемые на семинаре: •формализмы для программных семантик; •формальные модели и семантики программ и систем; •семантики языков программирования и языков спецификаций; •формальные спецификации программ и систем; •формальные техники описания программ; •логики для формальных спецификаций и верификации; •дедуктивная верификация программ; •автоматическое доказательство теорем; •метод проверки моделей для программ и систем; •статический анализ программ; •формальные подходы к тестированию и валидации; •средства для анализа и верификации программ.

• Добавил в систему: Захаров Владимир Анатольевич

Доклады:

• 2016 On the minimization and equivalence checking of sequential reactive systems (Устный)
• Авторы: Темербекова Г.Г., Захаров В.А.