Чтобы принять решение о том, какая часть системы нуждается в верификации и проверке корректности и в каком объеме, целесообразно применять: абстрагирование и фальсификацию, анализ и оценку рисков, моделирование объектно-ориентированных процессов, поэтапный системный анализ