DocumentCode
2315738
Title
Automated Software Analysis
Author
Veith, Helmut
Author_Institution
Formal Methods in Syst. Eng., Tech. Univ. Wien, Vienna, Austria
fYear
2009
fDate
26-29 Sept. 2009
Firstpage
18
Lastpage
18
Abstract
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.
Keywords
C language; programming language semantics; abstract interpretation; automated software analysis; decision procedures; program semantics; software model checkers; Algorithm design and analysis; Computer science; Information analysis; Logic design; Logic programming; Scientific computing; Software algorithms; Software tools; Systems engineering and theory; Technology transfer; abstract interpretation; decision procedures; model checking; software analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2009 11th International Symposium on
Conference_Location
Timisoara
Print_ISBN
978-1-4244-5910-0
Electronic_ISBN
978-1-4244-5911-7
Type
conf
DOI
10.1109/SYNASC.2009.67
Filename
5460874
Link To Document