(1)程序正确性的形式证明。(2)确认软件开发周期中的一个给定阶段的产品是否达到前阶段确立的需求的过程。(3)即评审、审查、测试、检查、审计等活动，或判定某些项目、处理过程、服务或文件等是否与规定的需求相一致的过程。(4)确定一个操作是否正确完成的动作。(5)参见user identification and verification。(6)对由CAD系统完成的一个设计物进行最后检查，以确定其精确性、可用性和可制造性的过程。(7)在计算机安全中，比较两级系统说明以保证适当对应的过程，例如比较一个安全策略模式与一个最高级的说明，比较源代码与目标码。参见formal verification。
查看更多
