Automated Software Analysis

被引：0

作者：

Veith, Helmut ^{[1
]}

机构：

[1] Vienna Univ Technol, Inst Informationssyst, Formal Methods Syst Engn, A-1060 Vienna, Austria

来源：

11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009) | 2009年

关键词：

model checking; software analysis; abstract interpretation; decision procedures;

D O I：

10.1109/SYNASC.2009.67

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Recent years have seen tremendous progress in the capabilities of software model checkers. These tools are the result of combined efforts by different communities, most notably model checking, abstract interpretation, program semantics, and decision procedures. In this tutorial, we will introduce the fundamentals of software model checking, and show how the different origins of the field combine to a common agenda.

引用

页码：18 / 18

页数：1

共 13 条

[1] [Anonymous], MODEL CHECKING
[2] [Anonymous], 2005, LECT NOTES COMPUTER
[3] Ball T, 2004, LECT NOTES COMPUT SC, V2999, P1
[4] Modular verification of software components in C
Chaki, S
Clarke, E
Groce, A
Jha, S
Veith, H
[J]. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 385 - 395
[5] Clarke E, 2006, LECT NOTES COMPUT SC, V3855, P126
[6] A tool for checking ANSI-C programs
Clarke, E
Kroening, D
Lerda, F
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 168 - 176
[7] Clarke E.M., 1981, WORKSH LOG PROGR, P52, DOI [DOI 10.1007/BFB0025774, 10.1007/978-3-540-69850-0_12]
[8] Clarke E, 2008, LECT NOTES COMPUT SC, V4963, P33, DOI 10.1007/978-3-540-78800-3_4
[9] Cousot P., 1977, 4 ACM S POPL, P238, DOI [DOI 10.1145/512950.512973, 10.1145/512950.512973]
[10] Graf S, 1997, LECT NOTES COMPUT SC, V1254, P72

← 1 2 →