文件名称:Economics-of-Software-Verification
- 所属分类：
- 其他小程序
- 资源属性：
- [PDF]
- 上传时间：
- 2012-11-26
- 文件大小：
- 56kb
- 下载次数：
- 0次
- 提 供 者：
- Ash_r*****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
How can we determine the added value of software verification
techniques over the more readily available conventional testing
techniques? Formal verification techniques introduce both added
costs and potential benefits. Can we show objectively when the
benefits will outweigh the cost?
Categories and Subject Descr iptors
D.2.4 [Software/Program Verification]: Formal methods,
validation F.3.1 [Specifying, Verifying, and Reasoning about
Programs]: Mechanical verification.
General Terms
Algorithms, Measurement, Design, Reliability, Verification.
Keywords
Model checking, software verification, testing, Spin.
techniques over the more readily available conventional testing
techniques? Formal verification techniques introduce both added
costs and potential benefits. Can we show objectively when the
benefits will outweigh the cost?
Categories and Subject Descr iptors
D.2.4 [Software/Program Verification]: Formal methods,
validation F.3.1 [Specifying, Verifying, and Reasoning about
Programs]: Mechanical verification.
General Terms
Algorithms, Measurement, Design, Reliability, Verification.
Keywords
Model checking, software verification, testing, Spin.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Economics of Software Verification.pdf