Automatic Formal Verification of Software: Fundamental Concepts

摘要：

Formal verification of software is undergoing a renaissance, as highly successful, automatic formal techniques developed for hardware verification are combining with classical software analysis techniques to produce practical, useful tools that scale to large, complicated software. This paper briefly introduces the fundamental concepts behind this renaissance.

作者: Alan J.Hu

作者单位: Dept.of Computer Science, Univ.of British Columbia, Vancouver, BC V6T 1Z4, Canada

会议类型: 国际会议

会议名称: 2009国际通信电路与系统学术会议(ICCCAS 2009)(2009 International Conference on Communications，Circuits and Systems)

会议地点: 成都

会议语种:英文

页码: 1155-1159

在线出版日期: 2009-07-23（万方平台首次上网日期，不代表论文的发表时间）