论文标题
本地变量和量子关系hoare逻辑
Local Variables and Quantum Relational Hoare Logic
论文作者
论文摘要
我们将局部变量添加到量子关系逻辑中（Unruh，Popl 2019）。我们得出了支持本地变量的推理规则（包括改进的“对手规则”）。我们扩展了QRHL-TOOL，以进行计算机辅助验证QRHL，以支持本地变量和我们的新推理规则。
We add local variables to quantum relational Hoare logic (Unruh, POPL 2019). We derive reasoning rules for supporting local variables (including an improved "adversary rule"). We extended the qrhl-tool for computer-aided verification of qRHL to support local variables and our new reasoning rules.
