Основные направления, освещаемые на семинаре:

• формализмы для программных семантик;
• формальные модели и семантики программ и систем;
• семантики языков программирования и языков спецификаций;
• формальные спецификации программ и систем;
• формальные техники описания программ;
• логики для формальных спецификаций и верификации;
• дедуктивная верификация программ;
• автоматическое доказательство теорем;
• метод проверки моделей для программ и систем;
• статический анализ программ;
• формальные подходы к тестированию и валидации;
• средства для анализа и верификации программ.