基本解釋[計算機科學技術]正確性證明英漢例句雙語例句In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.本文提出了利用循環(huán)體轉(zhuǎn)換關系式的程序證明方法。Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;提出了可以解決動態(tài)模糊性問題的DFL程序設計語言的操作語義模型，并對該模型的正確性和可靠性進行了證明；Several heuristic rules and the proving of their correctness are given.具體地給出若干啟發(fā)式控制規(guī)則，并證明了這些規(guī)則的正確性。correctness proving更多例句詞組短語短語proving correctness [計]驗證正確性;驗證正確性英語correctness proving更多詞組專業(yè)釋義計算機科學技術正確性證明