Get the latest Science News and Discoveries
Towards error-free quantum computing: A symbolic model checking approach to verify quantum circuits - EurekAlert
Due to the dramatically different and counter-intuitive nature of quantum computing, compared to classical computing, they are more prone to errors. Hence, verifying quantum circuits, which are used to test quantum algorithms, is essential. In a new study, researchers developed a new symbolic approach for automatic model checking of quantum circuits using the Maude programming language. This innovative approach marks the first step toward a general model-checking framework for quantum circuits.
None
Or read this on Eureka Alert