会唱歌的鸭舌帽

计算理论方面的权威教材,是第二版的中文版,清晰扫描版

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