Techniques for formal modelling and analysis of quantum systems

Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (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)

Abstract

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.

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

0Downloads

6 month trend

377Hits

Additional statistics are available via IRStats2.