View in EDS

Formal Verification of Code Conversion: A Comprehensive Survey.

Saved in:
Bibliographic Details
Title: Formal Verification of Code Conversion: A Comprehensive Survey.
Authors: Mahmoud, Amira T., Mohammed, Ahmad A., Ayman, Mahitap, Medhat, Walaa, Selim, Sahar, Zayed, Hala, Yousef, Ahmed H., Elaraby, Nahla
Source: Technologies (2227-7080); Dec2024, Vol. 12 Issue 12, p244, 28p
Subject Terms: COMPUTER software industry, EVIDENCE gaps, SYSTEMS software, RESEARCH personnel, INFORMATION storage & retrieval systems
Abstract: Code conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry. Traditional validation methods, such as test cases and code coverage metrics, often fail to ensure the correctness, completeness, and equivalence of converted code to its original form. Formal verification emerges as a crucial methodology to address these limitations. Although numerous surveys have explored formal verification in various contexts, a significant research gap exists in pinpointing appropriate formal verification approaches to code conversion tasks. This paper provides a detailed survey of formal verification techniques applicable to code conversion. This survey identifies the strengths and limitations of contemporary adopted approaches while outlining a trajectory for future research, emphasizing the need for automated and scalable verification tools. The novel categorization of formal verification methods provided in this paper serves as a foundational guide for researchers seeking to enhance the reliability of code conversion processes. [ABSTRACT FROM AUTHOR]
Copyright of Technologies (2227-7080) is the property of MDPI and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Complementary Index
Description
Abstract:Code conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry. Traditional validation methods, such as test cases and code coverage metrics, often fail to ensure the correctness, completeness, and equivalence of converted code to its original form. Formal verification emerges as a crucial methodology to address these limitations. Although numerous surveys have explored formal verification in various contexts, a significant research gap exists in pinpointing appropriate formal verification approaches to code conversion tasks. This paper provides a detailed survey of formal verification techniques applicable to code conversion. This survey identifies the strengths and limitations of contemporary adopted approaches while outlining a trajectory for future research, emphasizing the need for automated and scalable verification tools. The novel categorization of formal verification methods provided in this paper serves as a foundational guide for researchers seeking to enhance the reliability of code conversion processes. [ABSTRACT FROM AUTHOR]
ISSN:22277080
DOI:10.3390/technologies12120244