量子科技中心_量科网

来自日本北陆先端科学技术大学院大学（JAIST）的科学家最近提出了一种用于量子电路模型检查的符号方法，以弥补模型检查量子程序与量子电路之间存在的差距。这是一种使用量子力学定律和Maude编程语言的基础矩阵运算开发而来的新方法，能对量子电路进行自动模型检查。它标志着朝量子电路通用模型检查框架迈出了关键的第一步。