MURAL - Maynooth University Research Archive Library



    Implementing the Verified Software Initiative Benchmarks using Perfect Developer


    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

    [img] Download (556kB)


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    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:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year