这是关于模型检测方面的经典入门书，介绍了模型检测产生的背景，发展过程，看完此书，肯定对模型检测有比较深刻的认识。...

代码说明：

这是关于模型检测方面的经典入门书，介绍了模型检测产生的背景，发展过程，看完此书，肯定对模型检测有比较深刻的认识。-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.