Η διαδικασία ελέγχου ιεραρχικά οργανωμένο προγράμματα, προοδευτικά, από επάνω προς τα κάτω, χρησιμοποιώντας προσομοίωση χαμηλότερο επίπεδο στοιχείων.