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