it might suggest to validate When the specifications are achieved by operating the program but That is not possible (e. g., how can everyone know In case the architecture/design/and so on.
Prunes are also a good source https://zubaireibl300389.bloggazzo.com/28680302/little-known-facts-about-verification