本书详细介绍了模型检测的基本原理，分析了模型检测在各个行业的应用，重点分析了模型检测各种算法，是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the model checking algorithms is t