Fomal methods of pyogram verification and spectification Study on language application and specification Geometrical Product Specifications and Verification Manual of video facial inspection and identification