软件验证的含义非常广泛。凡是用于证明程序正确的方法，都可以被称为软件验证。 定理证明可以称为软件验证，建立程序的抽象模型进行检测也可以称为软件验证。 本课程所介绍的「软件验证」，更加贴切的称呼应该是软件模型检测 (Software Model Checking)。