(一)应用一个已验证过的程式系统来自动证明给定程式的正确性。
(二)程式师设计写完程式后，若程式规模小，则由程式师自己进行人工验证，证明程式是否符合目标。若程式大型且复杂，则需由电脑进行检查，完成程式验证工作。
词语
词语
