Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions, and thus likely true over all executions.
Το Daikon εκτελεί ένα πρόγραμμα, παρατηρεί τις τιμές που αυτό υπολογίζει, και στη συνέχεια αναφέρει ιδιότητες που ίσχυαν στις εκτελέσεις που παρατηρήθηκαν, οι οποίες είναι πιθανό να ισχύουν γενικά για όλες τις εκτελέσεις.