Automated Verification Using Unified Control Flows

摘要：

Exception handling is an important feature in modern programing methodology. However, it introduces ab normal 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.

关键词： Automated Verification Ezceptions Separation Logic Control Flow Unification

作者: Cristian Gherghina Cristina David

作者单位: Department of Computer Science, National University of Singapore

会议类型: 国际会议

会议名称: Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

会议地点: 天津

会议语种:英文

页码: 323-324

在线出版日期: 2009-07-29（万方平台首次上网日期，不代表论文的发表时间）