Процесът на проверка йерархично организират програми, постепенно, отгоре надолу, използвайки симулация на по-ниско ниво компоненти.