The modeling and analysis process was able to uncover a number of errors that would have been difficult to detect using testing alone.
Η διαδικασία μοντελοποίησης και ανάλυσης εμφάνισε κάποια λάθη που θα ήταν δύσκολο να εντοπιστούν μόνο από δοκιμές.