Xu, Yan and Monahan, Rosemary (2012) Implementing the Verified Software Initiative Benchmarks using Perfect Developer. Proceedings of 2010 China-Ireland International Conferenceon Information and CommunicationsTechnologies (CIICT2010 E-BOOK). pp. 171-176. ISSN 978-1-935068-30-3

Download (556kB)

Abstract

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 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. Our aim is to implement the benchmarks and analyze 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.

Item Type:	Article
Keywords:	Verification Benchmarks; Specification; Perfect Developer; Verified Software Initiative;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	4038
Depositing User:	Rosemary Monahan
Date Deposited:	14 Dec 2012 15:49
Journal or Publication Title:	Proceedings of 2010 China-Ireland International Conferenceon Information and CommunicationsTechnologies (CIICT2010 E-BOOK)
Publisher:	Scientific Research Publishing, USA
Refereed:	Yes
URI:	Publisher
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