«Использование формальных моделей при разработке средств автоматизированного распараллеливания программ».