Model and Algorithm Designing of the Proof of Program Correctness Based on XML Syntax Trees

• 基于语法树的程序正确性验证模型及算法设计