Verification of Programs Based on Similarity Relations

The static verification method of programs based on comparison of the semantic aspects of computing, that allows to build a program passport is described. Passport as a result of the static verification may be used to create an environment of the controlled program run (dynamic verification of the really running programs, which have passed static verification).