Logic and accuracy?
How sure are you that they have been designed using a language which is capable of working with functional verification tools? Because if the program is of more than a certain complexity, or written in any one of a number of languages on any number of operating systems, it can’t be guaranteed.
Testing can only give a probability of accuracy.
