【計】 programming correctness proof; proof of program correctness

程序的英語翻譯：

formality; ground rule; procedure; proceeding; process; program
【計】 P; problem determination aid; PROC; program; related channel program
【化】 sequence
【經(jīng)】 program; sequence

正確的英語翻譯：

accuracy; exactness; justness; nicety; preciseness; punctuality
【經(jīng)】 accuracy

證明的英語翻譯：

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【計】 proofness; proving
【化】 proofing
【醫(yī)】 certificate; certify; proof
【經(jīng)】 attest; attestation; authenticated; authentication; certification
certify; testimony