Алгоритмы частичной верификации программы на ЯСП и их оценки