Parallel program incremental regression verification method based on refinement constraint reuse

The invention discloses a refinement constraint reuse-based parallel program incremental regression verification method, which comprises the following steps of: when performing refinement constraint abstract refinement-based parallel program verification on a current program version Mi, executing iteration in each round of verification process; if yes, key sources are generated according to a ring in an event sequence diagram abstracted by a program corresponding to the current program version Mi and recorded in a key source library, key source validity judgment is conducted on the key source library, and refinement constraints are generated for all the effective key sources through refinement constraint adaptation so as to participate in iteration in the next round of verification process. According to the parallel program verification method based on scheduling constraint abstraction and refinement, an incremental regression verification technology is realized, and the refinement constraint in the previous