Model Checking Quantum Systems: Principles and Algorithms

Ying, Mingsheng, Feng, Yuan

商品描述

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 and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications.

商品描述(中文翻譯)

模型檢查是最成功的驗證技術之一,在傳統的計算和通信硬體和軟體行業中被廣泛採用。本書首次系統介紹了適用於量子系統的模型檢查技術,具有廣泛的應用潛力,可應用於新興的量子計算、量子通信以及量子物理行業。適合作為課程教材和自學使用,研究生和高年級本科生將欣賞到逐步解釋和包含的練習題。相關領域的研究人員和工程師可以在自己的工作中進一步發展這些技術,最後一章概述了潛在的未來應用。