Model Checking Quantum Systems --- A Survey

07/25/2018
by   Mingsheng Ying, et al.
0

This article discusses the essential difficulties in developing model-checking techniques for quantum systems that are never present in model checking classical systems. It further reviews some early researches on checking quantum communication protocols as well as a new line of researches pursued by the authors and their collaborators on checking general quantum systems, applicable to both physical systems and quantum programs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/21/2022

Model-Checking Branching-Time Properties of Stateless Probabilistic Pushdown Systems and Its Quantum Extension

In this work, we first resolve a question in the probabilistic verificat...
research
04/23/2021

Model Checking for Verification of Quantum Circuits

In this talk, we will describe a framework for assertion-based verificat...
research
02/08/2019

Model Checking Applied to Quantum Physics

Model checking has been successfully applied to verification of computer...
research
04/18/2018

Checking the Model and the Prior for the Constrained Multinomial

The multinomial model is one of the simplest statistical models. When co...
research
09/07/2017

On the Complexity of ATL and ATL* Module Checking

Module checking has been introduced in late 1990s to verify open systems...
research
11/13/2019

Systematic Classification of Attackers via Bounded Model Checking

In this work, we study the problem of verification of systems in the pre...
research
10/03/2019

GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems

While AI techniques have found many successful applications in autonomou...

Please sign up or login with your details

Forgot password? Click here to reset