Le processus de check out hiérarchiquement organisé des programmes, progressivement, de haut en bas, à l'aide de la simulation des composants de niveau inférieurs.