Back to Search Start Over

An Introduction to Quantum Model Checking.

Authors :
Turrini, Andrea
Source :
Applied Sciences (2076-3417); Feb2022, Vol. 12 Issue 4, p2016, 22p
Publication Year :
2022

Abstract

Model checking is a well-established and widely adopted framework used to verify whether a given system satisfies the desired properties. Properties are usually given by means of formulas from a specific logic; there are several logics that can be used, such as CTL and LTL, which permit the expression of different types of properties on the branching-time or on the linear-time evolution of the system. In this paper, we will consider the problem of model checking quantum systems and present the solutions given in literature for solving such a problem with respect to different types of properties. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
20763417
Volume :
12
Issue :
4
Database :
Complementary Index
Journal :
Applied Sciences (2076-3417)
Publication Type :
Academic Journal
Accession number :
155714714
Full Text :
https://doi.org/10.3390/app12042016