●譯者序
前言
第1章引言1
1.1第二次量子革命需要新的驗證技術2
1.2經典繫統的模型檢測技術2
1.3模型檢測量子繫統的困難3
1.4模型檢測量子繫統的研究現狀3
1.5本書結構5
第2章模型檢測基礎7
2.1繫統建模8
2.2時序邏輯10
2.2.1線性時序邏輯10
2.2.2計算樹邏輯13
2.3模型檢測算法16
2.3.1線性時序邏輯模型檢測16
2.3.2計算樹邏輯模型檢測23
2.4模型檢測概率繫統25
……

本書繫統且全面地梳理了模型檢測量子繫統的原理以及基於這些原理的算法，涵蓋作者相關論文中的重要研究成果。本書講解如何應用模型檢測技術來驗證量子工程繫統的正確性、安全性和可靠性，包含步驟詳盡的算法以及豐富的示例和練習。書中首先介紹模型檢測和量子理論的基礎知識，然後討論量子自動機、量子馬爾可夫鏈和量子馬爾可夫決策過程的可達性問題，介紹求解這些問題所需的數學工具和算法，之後介紹一繫列用於檢測超算子值馬爾可夫鏈的計算樹邏輯或線性時序邏輯的算法，後指明該領域的發展方向。