文件名称:mc-tutorial
介绍说明--下载内容均来自于网络,请自行研究使用
这是关于模型检测方面的经典入门书,介绍了模型检测产生的背景,发展过程,看完此书,肯定对模型检测有比较深刻的认识。-This is the model testing on the classic primer on the model checking the background, development process, after reading this book, certainly compared to the model checking has a deep understanding.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
mc-tutorial.pdf