Towards error-free quantum computing: A symbolic model checking approach to verify quantum circuits - EurekAlert

Towards error-free quantum computing: A symbolic model checking approach to verify quantum circuits  EurekAlert