Published: 21 December 2020
Tags: quantum computing
Us measly mortals dabbling in the realm of classical computing take it for granted the number of resources available to us for debugging. Unfortunately, that's not the case in the world of quantum computing, where just measuring the system's state cause it to collapse into only one of its superpositions. In this article, Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie describe a new system for asserting the "correctness" of a quantum program and the difficulties of implementation.