Xu, Yan (2010) Implementing the Verified Software Initiative Benchmarks using Perfect Developer. Masters thesis, National University of Ireland Maynooth.

Preview

Download (371kB) | Preview

Abstract

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.

Item Type:	Thesis (Masters)
Keywords:	Verified Software Initiative Benchmarks; Perfect Developer;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	5353
Depositing User:	IR eTheses
Date Deposited:	04 Sep 2014 09:50
URI:
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads