@article{ART003186208},
author={Ahn cheolbum and KIM, JIN HONG},
title={A Study on the Quantum Computing Software Similarity Validation Model},
journal={Journal of Software Assessment and Valuation},
issn={2092-8114},
year={2025},
volume={21},
number={1},
pages={23-28}
TY - JOUR
AU - Ahn cheolbum
AU - KIM, JIN HONG
TI - A Study on the Quantum Computing Software Similarity Validation Model
JO - Journal of Software Assessment and Valuation
PY - 2025
VL - 21
IS - 1
PB - Korea Software Assessment and Valuation Society
SP - 23
EP - 28
SN - 2092-8114
AB - Now a day, Quantum computing is a technology with the potential to offer superior parallel processing capabilities and significantly higher computational efficiency for certain problems compared to traditional classical computers. However, the development of quantum computer software is still in its early stages, and verifying it to ensure accuracy has emerged as one of the major challenges. This research presents a model for the similarity evaluation of quantum computing software, which we propose as a future study on approaches to improve the accuracy and reliability of quantum algorithms and programs. To achieve this, the behavior analysis of quantum algorithms, the temporal behavior of quantum circuits and software and systems, creates models using Kripke structures and specifies behavior using tempo-lal logic, and Kripke structures model by describing transitions between states in a manner similar to finite-state machines.
KW - quantum computing;parallel processing;quantum computing sw similarity;quantum algorithm;quantum circuit
DO -
UR -
ER -
Ahn cheolbum and KIM, JIN HONG. (2025). A Study on the Quantum Computing Software Similarity Validation Model. Journal of Software Assessment and Valuation, 21(1), 23-28.
Ahn cheolbum and KIM, JIN HONG. 2025, "A Study on the Quantum Computing Software Similarity Validation Model", Journal of Software Assessment and Valuation, vol.21, no.1 pp.23-28.
Ahn cheolbum, KIM, JIN HONG "A Study on the Quantum Computing Software Similarity Validation Model" Journal of Software Assessment and Valuation 21.1 pp.23-28 (2025) : 23.
Ahn cheolbum, KIM, JIN HONG. A Study on the Quantum Computing Software Similarity Validation Model. 2025; 21(1), 23-28.
Ahn cheolbum and KIM, JIN HONG. "A Study on the Quantum Computing Software Similarity Validation Model" Journal of Software Assessment and Valuation 21, no.1 (2025) : 23-28.
Ahn cheolbum; KIM, JIN HONG. A Study on the Quantum Computing Software Similarity Validation Model. Journal of Software Assessment and Valuation, 21(1), 23-28.
Ahn cheolbum; KIM, JIN HONG. A Study on the Quantum Computing Software Similarity Validation Model. Journal of Software Assessment and Valuation. 2025; 21(1) 23-28.
Ahn cheolbum, KIM, JIN HONG. A Study on the Quantum Computing Software Similarity Validation Model. 2025; 21(1), 23-28.
Ahn cheolbum and KIM, JIN HONG. "A Study on the Quantum Computing Software Similarity Validation Model" Journal of Software Assessment and Valuation 21, no.1 (2025) : 23-28.
