A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 thedoi:10.3390/app12042016 fatcat:s6fiur3alnd3toa3mwcatbe6au