Proof of program correctness
[计] 程序正确性证明
🧩 词语组成解析
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
[计] 正确性\\n[经] 正确性
🗣️ 情景例句
and cheese sandwiches for lunch.
和起士三明治当午餐。
We'll have a soap opera series on TV this week.
这周末我们会在电视上看到一系列肥皂剧。
Settlers made agreements with Native American cheifs but always broke them afterwards.
殖民者同美洲土著人的首领达成了协议，但是这些协议随后总是被撕毁。