В диссертационной работе предложены, разработаны и исследованы методы и модели динамической верификации процесс-ориентированных алгоритмов управления киберфизическими системами, которые использует средства процесс-ориентированного программирования и концепцию виртуальных объектов. Результаты работы были апробированы на задаче управления вакуумной подсистемой Большого солнечного телескопа (БСВТ).