Model-checking quantum systems

• 来源期刊: 国家科学评论（英文版）
• 年，卷（期）: 2019,（1）
• 页码范围: 28-31
• 页数: 4页
• 语种: 英文
• DOI: 10.1093/nsr/nwy106

摘要

INTRODUCTION We are currently in the midst of a second quantum revolution:transition from quantum theory to quantum engineering (e.g.quantum computing,communication,sensing).The main purpose of quantum theory is to find fundamental rules governing the existing physical systems.In contrast,quantum engineering aims at designing and implementing new systems (machines,devices,etc.) to achieve some desirable tasks,based on quantum theory.