MURAL - Maynooth University Research Archive Library

    Upcycling Formal Specifications for Similar Implementations with Arís

    Aiyankovil, Kuruvilla George and Monahan, Rosemary and O'Donoghue, Diarmuid (2021) Upcycling Formal Specifications for Similar Implementations with Arís. In: International Conference on Case-Based Reasoning (ICCBR), 13-16 September 2021, Salamanca, Spain.

    Download (408kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    We describe the Arís system for creating new formal specifications for source code by transferring existing specifications to similar implementations. We show the code graphs underlying its operation, graph matching supports retrieval, and pattern completion enables transfer of specifications to new implementations. A theorem prover formally verifies the new specifications.

    Item Type: Conference or Workshop Item (Paper)
    Keywords: formal specifications; source code; graph representation;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Faculty of Science and Engineering > Research Institutes > Hamilton Institute
    Item ID: 15751
    Depositing User: Dr. Diarmuid O'Donoghue
    Date Deposited: 29 Mar 2022 15:16
    Refereed: Yes
    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