QMC：量子系统的模型检验器
量子物理
2008-04-21 v3
摘要
我们介绍了一个专门用于分析量子信息协议的模型检验工具。该工具包含对特定一类量子电路的高效表示，即那些可用所谓稳定子形式体系表达的量子电路。协议的模型使用一种简单的命令式风格模拟语言来描述，该语言包含对 Clifford 群中酉算子的命令以及经典整数和布尔变量。验证公式用量子计算树逻辑(QCTL)的一个子集来表达。模型检验过程将量子测量视为非确定性的来源，从而导致多次协议运行，每次运行对应一个结果。验证对每次运行分别执行。
引用
@article{arxiv.0704.3705,
title = {QMC: A Model Checker for Quantum Systems},
author = {Simon Gay and Rajagopal Nagarajan and Nikolaos Papanikolaou},
journal= {arXiv preprint arXiv:0704.3705},
year = {2008}
}