DocumentCode
3384520
Title
Automatic formal verification of software: Fundamental concepts
Author
Hu, Alan J.
Author_Institution
Dept. of Comput. Sci., Univ. of British Columbia, Vancouver, BC, Canada
fYear
2009
fDate
23-25 July 2009
Firstpage
1155
Lastpage
1159
Abstract
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.
Keywords
formal verification; systems analysis; hardware verification; software analysis techniques; software automatic formal verification; Computer science; Counting circuits; Formal verification; Hardware; Logic; Software systems; Software testing; Software tools; Very large scale integration; Vocabulary;
fLanguage
English
Publisher
ieee
Conference_Titel
Communications, Circuits and Systems, 2009. ICCCAS 2009. International Conference on
Conference_Location
Milpitas, CA
Print_ISBN
978-1-4244-4886-9
Electronic_ISBN
978-1-4244-4888-3
Type
conf
DOI
10.1109/ICCCAS.2009.5250313
Filename
5250313
Link To Document