Techniques for formal modelling and analysis of quantum systems

Gay, Simon J. and Nagarajan, Rajagopal ORCID logoORCID: (2013) Techniques for formal modelling and analysis of quantum systems. In: Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Springer Verlag, pp. 264-276. . [Book Section] (doi:10.1007/978-3-642-38164-5_18)


Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of familiar techniques from formal methods such as formal logics for specification, formal modelling languages, separation of levels of abstraction, and compositional analysis. We argue that these techniques will be necessary for the analysis of large-scale systems that combine quantum and classical components. We summarize the results of our investigation using different approaches: behavioural equivalence in process calculus, model-checking and equivalence checking. Quantum teleportation is used as an example to illustrate our techniques.

Item Type: Book Section
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 16904
Depositing User: Raja Nagarajan
Date Deposited: 09 Jun 2015 09:00
Last Modified: 13 Oct 2016 14:35

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.