英明生；冯、袁 模型检查量子系统。原理和算法。 （英语） Zbl 1496.68008号 剑桥：剑桥大学出版社（ISBN 978-1-108-48430-5/hbk；978-1-108-1332-3/电子书）。xii，210页。(2021). 出版商描述：模型检查是最成功的验证技术之一，在传统的计算和通信硬件和软件行业中已被广泛采用。本书首次系统地介绍了适用于量子系统的模型检查技术，在量子计算、量子通信以及量子物理的新兴产业中具有广泛的潜在应用。适合用作课程教材和自学，研究生和高年级本科生将欣赏其中的分步讲解和练习。相关领域的研究人员和工程师可以在自己的工作中进一步开发这些技术，最后一章概述了潜在的未来应用。 引用于2文件 MSC公司： 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 2012年第68季度 计算理论中的量子算法和复杂性 60年第68季度 规范和验证（程序逻辑、模型检查等） 81页68 量子计算 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}和\textit{Y.Feng}，模型检验量子系统。原理和算法。剑桥：剑桥大学出版社（2021；Zbl 1496.68008） 全文： 内政部