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