total correctness

电脑软件高级词汇英汉对照 ... 部分正确性 partial correctness 完全正确性 total correctness 有效性 validity ...

t z T 连接器 T connector T 介面 T... ... 总金额 total amount 总札确度 total correctness 所有权的总成本 of ownership ...

如果 C 终止并且在终止时 Q 是真，则表达式就是"全部正确(total correctness)"的。终止必须被单独证明。