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

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

参考材料

Logic in Computer Science: modelling and reasoning about systems
Logic in Computer Science: modelling and reasoning about systems
( Mainly concentrating on chapters 1 - 4. )
notion image
  • 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.
Rylan
Rylan
Just be a rock