Технология верификации управляющих программ со сложным поведением, построенных н