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 seven verification benchmarks that have been presented as part of the Verified Software Initiative (VSI), proposing their specification, implementation and verification in the Perfect language and the Perfect Developer tools. To the best of our knowledge this is the first attempt to meet these benchmarks using the Perfect Developer tools and the first full presentation of solutions to these benchmarks in any verification support tool. Our aim is to implement the benchmarks and analyse how well the Perfect language can be used to express these benchmarks. Furthermore, we provide suggestions on how to make the Perfect language and Perfect Developer better.

Level dc:type.qualificationlevel

masters

Grantor dc:publisher.institution

National University of Ireland Maynooth

Year dc:date.issued

2010

Author dc:creator

• Xu, Yan

• Computer Science

Language dc:language

en