English translation for "proving program correct"

征明程序正确性
证明程序正确性

Related Translations:

proved mine:  有可靠储量的矿山

be proving:  看来是……

prove abortive:  归于失败

proven reserve:  证实储量

proving cash:  核对现金

cross proving:  相互检查

proving installation:  测试装置

proving establishment:  试验基地

proving trial:  复核试验验证试验

proven territory:  勘探证实地区探明的油区探明油区证实的油区

Example Sentences:

1.

It turns out that proving programs correct is equivalent to solving the halting problem 证明程序是正确的等价于解决停机问题。

Similar Words：

"proving of opening of switch machine" English translation, "proving operation" English translation, "proving period" English translation, "proving press" English translation, "proving program" English translation, "proving range" English translation, "proving ring" English translation, "proving road" English translation, "proving room" English translation, "proving rotor" English translation