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.
['Cristian Gherghina', 'Cristina David']
Automated Verification Using Unified Control Flows