Supported by the National Natural Science Foundation of China(61862033,61902162);Key Project of Science and Technology Research of Department of Education of Jiangxi Province(GJJ210307);Postgraduate Innovation Fund Project of Education Department of Jiangxi Province(YC2021-S306)。
The automatic algorithm programming model can increase the dependability and efficiency of algorithm program development,including specification generation,program refinement,and formal verification.However,the existi...