Il processo di check-out gerarchicamente organizzato programmi, progressivamente, da cima a fondo, utilizzando la simulazione di componenti di livelli inferiore.