1. A code verification method comprising: performing a decomposition process wherein a resulting plurality of code fragments are bounded by externally observable points and by an execution time restriction between the externally observable points wherein the externally observable points comprise points at which internal program states become externally visible, wherein the internal program states are matched at a pair of corresponding ones of the points; and performing a validation process on the code fragments.