Because you never change the states of your variables, proving your program is much easier.
由于从来没有改变变量的状态，所以证明您的程序非常简单。
The model and program were proved right through theory analysis and examples proving.
通过理论研究和实例验证，证明了模型和程序是正确的。
The model and program were proved right through theory analysis and examples proving.
通过理论研究和实例验证，证明了模型和程序是正确的。
应用推荐