Основные направления, освещаемые на семинаре:
- формализмы для программных семантик;
- формальные модели и семантики программ и систем;
- семантики языков программирования и языков спецификаций;
- формальные спецификации программ и систем;
- формальные техники описания программ;
- логики для формальных спецификаций и верификации;
- дедуктивная верификация программ;
- автоматическое доказательство теорем;
- метод проверки моделей для программ и систем;
- статический анализ программ;
- формальные подходы к тестированию и валидации;
- средства для анализа и верификации программ.
Обновлено: 2015-05-03 13:03