summary
type
category
tags
slug
status
date
finished_date
icon
password
软件验证的含义非常广泛。凡是用于证明程序正确的方法，都可以被称为软件验证。
定理证明可以称为软件验证，建立程序的抽象模型进行检测也可以称为软件验证。
本课程所介绍的「软件验证」，更加贴切的称呼应该是软件模型检测 (Software Model Checking)。
参考材料
( Mainly concentrating on chapters 1 - 4. )
- Software verification means proving that a piece of software is correct- i.e. that, when run, it does what it is supposed to do.
- Software verification in CS & SE is based on the study of formal methods: mathematical techniques for the specification, modelling, construction and verification of programs.