ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ЦЭМИ РАН |
||
Семинар "Программные семантики, спецификации и верификация" - место встречи учёных области применения формальных методов в разработке и анализе программного обеспечения. На семинар приезжают ведущие российские и зарубежные ученые в области спецификаций, верификации и формальных методов. Основные направления, освещаемые на семинаре: формализмы для программных семантик; формальные модели и семантики программ и систем; семантики языков программирования и языков спецификаций; формальные спецификации программ и систем; формальные техники описания программ; логики для формальных спецификаций и верификации; дедуктивная верификация программ; автоматическое доказательство теорем; метод проверки моделей для программ и систем; статический анализ программ; формальные подходы к тестированию и валидации; средства для анализа и верификации программ.