Model-checking quantum systems

被引：0
|
作者：
Mingsheng Ying [1 ,2 ,3 ]
Yuan Feng [1 ]
机构：
[1] Centre for Quantum Software and Information,University of Technology Sydney
[2] State Key Laboratory of Computer Science,Institute of Software, Chinese Academy of Sciences
[3] Department of Computer Science and Technology,Tsinghua University
来源：
National Science Review | 2019年 / 6卷 / 01期
关键词：
Model-checking quantum systems;
D O I：
暂无
中图分类号：
O413 [量子论];
学科分类号：
070201 ;
摘要：
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.
引用
收藏
页码：28 / 31
页数：4
相关论文
共 50 条
  • [1] Model-checking quantum systems
    Ying, Mingsheng
    Feng, Yuan
    [J]. NATIONAL SCIENCE REVIEW, 2019, 6 (01) : 28 - 31
  • [2] On model-checking of P systems
    Dang, Z
    Ibarra, OH
    Li, C
    Xie, GY
    [J]. UNCONVENTIONAL COMPUTATION, PROCEEDINGS, 2005, 3699 : 82 - 93
  • [3] Model-Checking Linear-Time Properties of Quantum Systems
    Ying, Mingsheng
    Li, Yangjia
    Yu, Nengkun
    Feng, Yuan
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (03)
  • [4] Model-Checking HyperLTL for Pushdown Systems
    Pommellet, Adrien
    Touili, Tayssir
    [J]. MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 133 - 152
  • [5] Symbolic model-checking for biochemical systems
    Fages, F
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 102 - 102
  • [6] Model-checking in simulations of distribution systems
    Geilen, M
    [J]. SIMULATION IN INDUSTRY'2000, 2000, : 606 - 611
  • [7] Model-checking and abstraction to the aid of parameterized systems
    Pnueli, A
    Zuck, L
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 4 - 4
  • [8] Saturation algorithms for model-checking pushdown systems
    Carayol, Arnaud
    Hague, Matthew
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (151): : 1 - 24
  • [9] Efficient CTL model-checking for pushdown systems
    Song, Fu
    Touili, Tayssir
    [J]. THEORETICAL COMPUTER SCIENCE, 2014, 549 : 127 - 145
  • [10] Model-checking Driven Design of Interactive Systems
    Cerone, Antonio
    Elbegbayan, Norzima
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 183 : 3 - 20
12345