The invention discloses a large-model-assisted automatic program
verification method and
system, and the method comprises the steps: executing data scale
correlation analysis for a to-be-verified program to judge whether data scale optimization can be carried out or not, executing data scale optimization if the data scale optimization can be carried out, and verifying an optimization result by using a
verification tool; carrying out defect analysis on the to-be-verified program to judge whether a defect exists or not, and if the defect exists, generating a counter example according to the corresponding defect to verify the counter example; otherwise, a
verification tool is used for verification, and in the execution process of the method, data scale optimization and defect analysis are both assisted by a
large model for analysis. According to the method, a
large model is used for assisting in data scale optimization and defect analysis, calculation
resource consumption in the verification process is reduced, the verification time is shortened, the verification accuracy is improved, and particularly the verification efficiency of a complex program is improved.