图书标签: 模型检验  形式化验证  形式化方法  计算机科学  计算机  model-checking  model  checking   

喜欢 Model Checking 的读者还喜欢

• 
  Communicating Sequential Processes pdf epub mobi txt 电子书 下载
• 
  面向计算机科学的数理逻辑系统建模与推理 pdf epub mobi txt 电子书 下载
• 
  Concepts in Programming Languages pdf epub mobi txt 电子书 下载
• 
  Types and Programming Languages pdf epub mobi txt 电子书 下载
• 
  算法引论 pdf epub mobi txt 电子书 下载
• 
  自动机理论、语言和计算导论(英文版.第3版) pdf epub mobi txt 电子书 下载
• 
  Language Implementation Patterns pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  程序设计语言的形式语义 pdf epub mobi txt 电子书 下载
• 
  Optimizing Compilers for Modern Architectures pdf epub mobi txt 电子书 下载

模型检测的入门，由Clarke大牛领衔著书再合适不过了。

This is an excellent book for the introduction of model checking. From my view point, there is still a lot of space for improvement on teaching model checking. Model checking is a very simple problem on how to explore the huge space. This book tells the solutions, but does not tell how people find out these solutions.

interesting

模型检查的入门读物，但是语言偏晦涩

模型检测的入门，由Clarke大牛领衔著书再合适不过了。