proving program的意思

proving program中文翻譯：

驗證程序

相似詞語短語

proving───v.證明；校對；發酵（prove的現在分詞）；n.證明；檢查；校對

proving ground───n.試驗場，檢驗場

proving to───給…證明

proving that───證明這一點

gifted program───天才計劃

internship program───實習計劃；實習項目

headstart program───headstart程序

doctoral program───博士生項目

exercise program───訓練方案；鍛煉計劃

雙語使用場景

model and program were proved right through theory analysis and examples proving.───通過理論研究和實例驗證，證明了模型和程序是正確的。

In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.───本文提出了利用循環體轉換關系式的程序證明方法。

Because you never change the states of your variables, proving your program is much easier.───由于從來沒有改變變量的狀態，所以證明您的程序非常簡單。

英語使用場景