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

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