model checking.pdf(英文版),Edmund M. Clarke著作,模型检验入门书籍。有名的模型验证方面的专家。书中对model checking有很全面的介绍。