Ключевые слова: верификация программ; машинное обучение; информационная безопасность; математическая логика; теория автоматов / program verification; machine learning; information security; mathematical logic; automata theory
математическая теория программирования верификация программ математическая логика теория автоматов информационная безопасность
mathematical theory of computations verification of programs mathematical logic automata theory information security