{"id":{"repo_id":"maynooth","oai_identifier":"oai:mural.maynoothuniversity.ie:5353"},"canonical_url":"https://search.dev.ndltd.org/etd/maynooth/oai:mural.maynoothuniversity.ie:5353","repository":{"repo_id":"maynooth","name":"National University of Ireland - Maynooth","base_url":"http://mural.maynoothuniversity.ie/cgi/oai2"},"display":{"title":"Implementing the Verified Software Initiative Benchmarks using Perfect Developer","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Xu, Yan"],"institution":"National University of Ireland Maynooth","degree_name":null,"degree_level":"masters","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2010,"date_issued":"2010","date_published":"2010","updated_at":"2026-07-24T03:02:49Z","subjects":["Computer Science"],"languages":["en"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Xu, Yan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2010"]},{"key":"dc:date.issued","label":"Date","values":["2010"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Computer Science"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["National University of Ireland Maynooth"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://mural.maynoothuniversity.ie/id/eprint/5353/"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["masters"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://mural.maynoothuniversity.ie/id/eprint/5353/1/10%20Yan%20Xu%2020100129.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:format","label":"Dc Format","values":["text"]},{"key":"dc:title","label":"Title","values":["Implementing the Verified Software Initiative Benchmarks using Perfect Developer"]}]}],"canonical_facts":{"dc:creator":["Xu, Yan"],"dc:date":["2010"],"dc:date.issued":["2010"],"dc:description.abstract":["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."],"dc:format":["text"],"dc:identifier.uri":["https://mural.maynoothuniversity.ie/id/eprint/5353/1/10%20Yan%20Xu%2020100129.pdf"],"dc:language":["en"],"dc:publisher.department":["Computer Science"],"dc:publisher.institution":["National University of Ireland Maynooth"],"dc:relation.isreferencedby":["https://mural.maynoothuniversity.ie/id/eprint/5353/"],"dc:subject":["Computer Science"],"dc:title":["Implementing the Verified Software Initiative Benchmarks using Perfect Developer"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["masters"]},"updated_at":"2026-07-24T03:02:49Z"}