Principles of Model Checking 模式检查
mit的新书，模式检查方向的好教材．做verification的人一般都需要吧，国外网站上很好找，不愿意给资源分可以用google下载很好找的．
下载地址
用户评论
