机构名称：
¥ 1.0
最近，量子计算受到了许多技术突破[7]和不断增加的投资的驱动。原型Quantum计算机已经可用。公众，尤其是学生，研究人员和技术爱好者的机会，可以通过云服务（例如Amazon Braket [1]或IBM Quantum [2]来访问Quantum Computing设备迅速增加。由于量子计算的复杂性和概率性质，量子程序中错误的机会远高于传统程序，而常规的正确保证手段（例如测试）在量子世界中的适用性要少得多。量子程序员需要更好的工具来帮助他们编写正确的程序。因此，研究人员预计，正式的验证将在量子软件质量保证中发挥至关重要的作用，并且近年来已经朝着这个方向投入了重要意义[5，11，11，21，41，41 - 43，45，46]。然而，自动化量子程序/电路验证的实用工具仍然缺失。本文介绍了AutoQ 1，这是一种基于[14]中提出的方法的量子电路验证的全自动工具。特别是，AUTOQ检查了Hoare式规范的有效性{pre} c {post}，其中c是openQasm格式[17]和
基于自动机的量子电路验证器-AutoQ
主要关键词
相关文件推荐
