Model Checking Quantum Systems

Author: Mingsheng Ying
Editor: Cambridge University Press
ISBN: 1108484301
File Size: 43,18 MB
Format: PDF, ePub, Mobi
Read: 111
Download

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.
Model Checking Quantum Systems
Language: en
Pages: 240
Authors: Mingsheng Ying, Yuan Feng
Categories: Computers
Type: BOOK - Published: 2021-01-31 - Publisher: Cambridge University Press

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.
Model Checking Quantum Systems
Language: en
Pages:
Authors: Mingsheng Ying, Yuan Feng
Categories: Computers
Type: BOOK - Published: 2021-01-31 - Publisher: Cambridge University Press

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing
Formal Methods
Language: en
Pages:
Authors: Marieke Huisman
Categories: Computers
Type: BOOK - Published: - Publisher: Springer Nature

Books about Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 646
Authors: Nir Piterman, Scott Smolka
Categories: Computers
Type: BOOK - Published: 2013-02-17 - Publisher: Springer

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Language: en
Pages: 365
Authors: Bob Coecke, Luke Ong, Prakash Panangaden
Categories: Computers
Type: BOOK - Published: 2013-11-18 - Publisher: Springer

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume represent his manifold contributions