• Home
• About
• Browse
  • Browse by Year
  • Browse by Academic Unit
  • Browse by Author
• Register
• eTheses
• Statistics
• MU Library
• Repository Policies
• Cite from MURAL
• MURAL Libguide
• Login

Implementing the Verified Software Initiative Benchmarks using Perfect Developer

Share and Export

Share and Export

Share and Export

ASCII Citation Atom BibTeX Dublin Core EP3 XML EP3 XML with Files Embedded EndNote Grid (abstract) HTML Citation METS MODS MPEG-21 DIDL Multiline CSV Multiline CSV (Staff) OpenURL ContextObject OpenURL ContextObject in Span RDF+N-Triples RDF+N3 RDF+XML Refer Reference Manager Simple Metadata JSON

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

PDF
RM_Implementing.pdf
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
Related URLs:	Publisher
URI:	https://mural.maynoothuniversity.ie/id/eprint/4038
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

Downloads per month over past year

Origin of downloads