Formal Verification vs. Quantum Uncertainty
Formal Verification vs. Quantum Uncertainty
复制标题
形式验证与量子不确定性
DOI：
10.4230/lipics.snapl.2019.12
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
M. Hicks
中科院分区：
文献类型：
--
作者：
Robert Rand;Kesha Hietala;M. Hicks
14编程量子计算机很困难，编写一个程序将在今天存在的量子设备上成功执行15次（或在不久的将来存在）是一项艰巨的任务。我们引入了17种很难预测或正式验证技术的新型错误。并减轻这些错误，如果我们可以在本文中弥合19种高级语言和机器规范之间的差距，我们会回顾现有的方法在量子程序中，我们可以今天运行22 ACM主题分类软件及其工程→正式软件验证→量子验证；校正和容错24
14 Programming a quantum computer is difficult and writing a program that will execute successfully 15 on quantum devices that exist today (or are likely to exist in the near future) is a daunting task. Not 16 only is quantum computing inherently uncertain, the quantum computers that we have introduce 17 a variety of novel errors that are difficult to predict or work around. Techniques from formal 18 verification will allow us to quantify and mitigate these errors if we can bridge the gap between 19 high level languages and machine specifications. In this paper, we review existing approaches to 20 quantum program verification and propose a new approach focused not only on long term quantum 21 programming, but on the quantum programs we can run today. 22 2012 ACM Subject Classification Software and its engineering → Formal software verification; 23 Hardware → Quantum error correction and fault tolerance 24
影响因子：
6.4
作者：
Preskill, John
通讯作者：
Preskill, John