18th June 2024
At the VIII Spanish Computer Science Congress (CEDI 2024), held from June 17 to 21 in A Coruña, our colleague Manuel Ángel Serrano presented the paper titled “Development of Classical Quantum Multi-Qubit Assertions.”
This work is the result of the collaboration between Antonio García de la Barrera Amo, Ignacio García, Manuel Ángel Serrano, Yolanda Galván, and Macario Polo. In this paper, a set of useful assertions for establishing the basic components of a testing framework for circuit-based quantum software has been presented. The development of these assertions represents a significant advancement in the creation of tools and methodologies that allow for the evaluation and validation of quantum software, ensuring its proper functioning and reliability in future applications.