J Liu,
GT Byrd,
H Zhou - Proceedings of the Twenty-Fifth International …, 2020 - dl.acm.org
In this paper, we propose quantum circuits for runtime assertions, which can be used for
both software debugging and error detection. Runtime assertion is challenging in quantum …