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.

Preview

Download (408kB) | Preview

Abstract

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
URI:	Organisation
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

Origin of downloads