Title :
Automated Verification Using Unified Control Flows
Author :
Gherghina, Cristian ; David, Cristina
Author_Institution :
Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
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;
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
DOI :
10.1109/TASE.2009.31
