下载 Download 1 Model Checking-Edmund M. Clarke-模型检查 2 Logic in Computer Science Modelling and Reasoning about Systems 面向计算机科学的数理逻辑系统建模与推理