Original Quantum Gate Teleportation circuit (a) and the corrected circuit (b) (IMAGE)

Japan Advanced Institute of Science and Technology

Original Quantum Gate Teleportation circuit (a) and the corrected circuit (b)

Caption

The proposed model-checking approach can be used for the specification and verification of quantum circuits with their desired properties.

Credit

Canh Minh Do from JAIST.

Usage Restrictions

Cannot be reused without permission.

License

Original content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.