While constructing practical quantum computers by big companies remains a challenge, the
application of quantum communication and cryptography has made remarkable progress …

This paper presents an approach to checking the equivalence of quantum circuits based on
Dirac notation in Maude. Specifically, we specify quantum states and quantum gates in Dirac …

Abstract Dynamic Quantum Logic (DQL) has been used as a logical framework for manually
proving the correctness of quantum programs. This paper presents an automated approach …

This paper presents an approach to checking the equivalence of quantum circuits based on
Dirac notation in Maude. Specifically, we specify quantum states and quantum gates in Dirac …

We proposed an automated approach to verifying quantum programs based on Basic
Dynamic Quantum Logic (BDQL), a simplified version of Dynamic Quantum Logic, and …

We proposed a symbolic approach to model checking quantum circuits using a set of laws
from quantum mechanics and basic matrix operations with Dirac notation and used Maude …

Quantum circuits are typically used to design quantum algorithms at a high abstraction level
without considering specific hardware restrictions. To execute quantum circuits on an actual …

This paper introduces a strategy for identifying design patterns in quantum circuits. The
foundation of this approach relies on using the information procured from both the …