The invention discloses a sequential assembly instruction program verification method and system. The method comprises the following steps of establishing a semantic rule for each assembly instruction; reading each assembly instruction in sequence, obtaining all operands of each instruction, and recording the address of each operand and the initial value and length of the operand; stipulating thenumeric values of all operands sequentially into expressions of initial values of all the operands for all the instructions of the program; and for each instruction, generating a corresponding proof script according to a corresponding instruction semantic rule in sequence. According to the method, starting from a simple assembly instruction semantic rule and a simple method for generating a semantic proof script of a single assembly instruction, the specification of the program semantics of the whole sequential assembly instruction and the method for generating the verification script are obtained by utilizing the induction technology method, so that the workload of formalized work can be greatly reduced.