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