Implementing the Verified Software Initiative Benchmarks using Perfect Developer

摘要：

This paper describes research on the Perfect Developer tool and its associated programming language, Perfect. We focus on verification benchmarks that have been presented as part of the Verified Software Initiative (VSI), proposing their specification, implementation and verifica-tion in the Perfect language and the Perfect Developer tools. To the best of our knowledge this is the first attempt to meet these bench-marks using the Perfect Developer tools. Our aim is to implement the benchmarks and ana-lyze how well the Perfect language can be used to express these benchmarks. In this paper we present the first benchmark, its specification and its verification in the Perfect Developer tool suite.

作者: Yan Xu Rosemary Monahan

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

会议类型: 国际会议

会议名称: 2010 China-Ireland International Conference on Information and Communications Technologies(2010年中国-爱尔兰信息与通信技术国际会议 CIICT 2010)

会议地点: 武汉

会议语种:英文

页码: 171-176

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