找考题网-背景图
判断题

程序正确性证明能证明程序的功能和动态特性符合设计要求.

【参考答案】

错误