DocumentCode
2880374
Title
Automated Verification Using Unified Control Flows
Author
Gherghina, Cristian ; David, Cristina
Author_Institution
Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
fYear
2009
fDate
29-31 July 2009
Firstpage
323
Lastpage
324
Abstract
Exception handling is an important feature in modern programming methodology. However, it introduces abnormal control flows due to which the analysis becomes considerable more difficult. In general, automated verification of programs with diversified control flows can prove to be a difficult problem. We propose an approach to verification that handles different control flow types in a unified manner.
Keywords
exception handling; program verification; programming; exception handling; modern programming methodology; program automated verification; unified control flows; Automatic control; Automatic generation control; Computer languages; Computer science; Control systems; Error correction; Java; Logic; Signal generators; Software engineering; Automated Verification; Control Flow Unification; Exceptions; Separation Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location
Tianjin
Print_ISBN
978-0-7695-3757-3
Type
conf
DOI
10.1109/TASE.2009.31
Filename
5198532
Link To Document