Перспективы интеграции методов верификации программного обеспечения