2010 China-Ireland International Conferenceon Information and CommunicationsTechnologies (CIICT2010 E-BOOK)

Wuhan,China,10.10-10.11,2010

ISBN: 978-1-935068-30-3 Scientific Research Publishing, USA

E-Book 200pp Pub. Date: October 2010

Category: Engineering

Price: $40

Title: Implementing the Verified Software Initiative Benchmarks using Perfect Developer
Source: 2010 China-Ireland International Conferenceon Information and CommunicationsTechnologies (CIICT2010 E-BOOK) (pp 171-176)
Author(s): Yan Xu, Department of Computer Science National University of Ireland, Maynooth Maynooth, Ireland
Rosemary Monahan, Department of Computer Science National University of Ireland, Maynooth Maynooth, Ireland
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.
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top