模型检验原理/清华计算机图书译丛

作者简介

本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径，可作为计算机科学与技术、软件工程等专业本科生、研究生的教材，也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。

内容简介

"1．内容全面，条理系统。 2．实例丰富，便于理解。 3．理论充实，实践性强 4．文献翔实，脉络清晰。 5．习题充足，利于掌握。 6．附录凝练，入门快速。"