Области научных интересов
Ключевые слова: формальная спецификация; формальная верификация; дедуктивная верификация; динамическая верификация; тестирование на основе моделей; формальный мониторинг; информационная безопасность; операционные системы / formal specification; formal verification; formal methods; theorem proving; runtime verification; model-based testing; model-based development; information security; operating systems
Ключевые слова
None
None