MURAL - Maynooth University Research Archive Library

    Implementing the Verified Software Initiative Benchmarks using Perfect Developer

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

    Download (371kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    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
      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)

      View Item Item control page


      Downloads per month over past year

      Origin of downloads