model checking - E.M Clarke
Modelcheckingisatechniqueforverifyingfinitestateconcurrentsystemssuchassequentialcircuitdesignsandcommunicationprotocols.Ithasanumberofadvantagesovertraditionalapproachesthatarebasedonsimulation,testing,anddeductivereasoning.Inparticular,modelcheckingisautomaticandusuallyquitefast.Also,
下载地址
用户评论
这个一样可以打开的，虽然不是很清晰，但是只要是从事模型检测相关工作的人，对E.M. Clarke的这本书还是很熟悉的。
这个不是PDF版本的=-=~~~http://download.csdn.net/detail/orzorz/1431059这里是PDF版本，方便多了……需要的人去吧，别在这里浪费积分……
djvu格式 非pdf格式 需要找个阅读器
不是很清晰，不过真找不到其他的了
打不开啊，，，，
影音版的电子书，当资料翻阅可以
内容是非常好,但是文字的清晰度不是最好,可能这个已经是目前最清晰的版本了.
看模型检测就要看E.M Clarke的所有经典论文
文件是djvu格式的，需要再下载打开的软件，需要的朋友自己再看看哈
这个文件的格式怎么打不开啊？