Principles of Model Checking
Thisbookisonmodelchecking,aprominentformalverificationtechniqueforassessing
functionalpropertiesofinformationandcommunicationsystems.Modelchecking
requiresamodelofthesystemunderconsiderationandadesiredpropertyandsystematically
checkswhetherornotthegivenmodelsa
下载地址
用户评论
还行，哈哈，虽然看的不是很懂
非常好，终于找到这本书了！！
没想到真找到这本书了，太爽了，正是我需要的
模型检测方面的书籍 很清晰 学习一下
太厚了，看的头痛。