principles_of_model_checking一本很好的模型检测的书，我很仔细的看了。希望对大家有帮助！