Title :
Automated Software Analysis
Author_Institution :
Formal Methods in Syst. Eng., Tech. Univ. Wien, Vienna, Austria
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;
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
DOI :
10.1109/SYNASC.2009.67
