Principles of Model Checking

【文件属性】：

文件名称：Principles of Model Checking

文件大小：5.5MB

文件格式：PDF

更新时间：2012-03-05 09:23:18

模型检测；形式化方法

一本非常全面，而且易懂的模型检测方面的书。该书 是学习形式化验证比较好的入门书。